2015 search results - page 179 / 403 » Hidden Software Capabilities |
138
click to vote
JCSC
1998
15 years 2 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...
155
Voted
IPPS
2010
IEEE
15 years 13 days 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 ...
127
Voted
ICSE
2009
IEEE-ACM
15 years 8 days 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...
163
Voted
ICST
2009
IEEE
15 years 8 days 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...
144
Voted
SIGSOFT
2010
ACM
14 years 9 months 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...