1980 search results - page 271 / 396 » Compositional Model Checking of Real Time Systems |
111
Voted
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
152
Voted
ENGL
2007
15 years 3 months ago
2007
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
142
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
140
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
135
click to vote
MOBIDE
2006
ACM
15 years 9 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...