2015 search results - page 179 / 403 » Hidden Software Capabilities |
187
Voted
JCSC
1998
15 years 5 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
198
Voted
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The current challenge for crowd simulations is the design and development of a scalable system that is capable of simulating the individual behavior of millions of complex agents ...
168
Voted
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
The development of small wireless sensors and smart-phones, which include various sound, video, motion and location sensors have facilitated new pervasive applications. These perva...
202
Voted
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
197
Voted
SIGSOFT
2010
ACM
15 years 25 days ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...