Sciweavers

7202 search results - page 108 / 1441
» Software System Engineering: A Tutorial
Sort
View
SOCO
2005
Springer
15 years 8 months ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...
101
Voted
FOSSACS
2003
Springer
15 years 7 months ago
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
Matthew Hennessy, Massimo Merro, Julian Rathke
67
Voted
BC
2010
62views more  BC 2010»
15 years 1 days ago
Neural network simulations of the primate oculomotor system. V. Eye-head gaze shifts
A. A. Kardamakis, A. Grantyn, A. K. Moschovakis
100
Voted
TCAD
2010
111views more  TCAD 2010»
14 years 9 months ago
Combining Control and Data Abstraction in the Verification of Hybrid Systems
Xavier Briand, Bertrand Jeannet