1023 search results - page 88 / 205 » Model Checking: Software and Beyond |
142
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
133
click to vote
SIGSAND
2008
15 years 5 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
161
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
132
click to vote
JUCS
2006
15 years 4 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...