SC Harvester Papers Database Interface

Using Choice Blindness to Study Decision Making and Introspection

Petter Johansson, Lars Hall. In: . 2008

Data cache locking for tight timing calculations

X. Vera, B. Lisper, Jingling Xue. In: ACM Trans. Embed. Comput. Syst.. 2007

Shared stack analysis in transaction-based systems

M. Bohlin, Kaj Hänninen, Jukka Mäki-Turja. In: . 2007

Applications of Formal Methods to System Design and Verification

F. Arbab, M. Sirjani. In: J. Univers. Comput. Sci.. 2007

Extending the OpenUP/Basic Requirements Discipline to Specify Capacity Requirements

A. Borg, Mikael Patel, K. Sandahl. In: 15th IEEE International Requirements Engineering Conference (RE 2007). 2007

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

G. Rodríguez-Navas, J. Proenza, H. Hansson. In: . 2007

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means

B. Gallina, N. Guelfi, A. Romanovsky. In: The 18th IEEE International Symposium on Software Reliability (ISSRE '07). 2007

Driving the selection of cots components on the basis of system requirements

V. Cortellessa, I. Crnkovic, F. Marinelli, P. Potena. In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. 2007

The micromechanical system

A. Franke, K. Kehr, T. Pirk. 2007

Service Orientation in the Enterprise

J. Bosch, S. Friedrichs, Stefan Jung, Johannes Helbig, Alexander Scherdin. In: Computer. 2007

Continuing professional development by practitioner integrated learning

A. Sandberg, L. Pareto, U. Snis, M. Staron. In: . 2007

Composite of at least two semiconductor substrates and manufacturing process

A. Feyh, A. Franke, S. Knies, A. Trautmann. 2007

Test case generation by means of UML sequence diagrams and labeled transition systems

E. Cartaxo, F. D. O. Neto, Patricia D. L. Machado. In: 2007 IEEE International Conference on Systems, Man and Cybernetics. 2007

Modeling Web Service Interactions Using the Coordination Language Reo

S. Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, M. Sirjani. In: . 2007

Implementing Fault Tolerance Using Aspect Oriented Programming

Ruben Alexandersson, Peter Öhman. In: . 2007