771 search results - page 55 / 155 » Modelling and Analysing Socio-Technical Systems |
SG
2007
Springer
15 years 5 months ago
2007
Springer
For the generation of freeform 3D models, one of the most intuitive solution is to use sketch-based modeling environments. Unfortunately, since the user interface relies upon the a...
154
Voted
FASE
2011
Springer
14 years 2 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
94
Voted
ACTA
2007
14 years 11 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
75
Voted
ENTCS
2007
14 years 10 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
CITA
2005
IEEE
15 years 4 months ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...