1541 search results - page 180 / 309 » Tools and Techniques for Model Checking Networked Programs |
125
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
127
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
133
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
127
click to vote
CSCWD
2005
Springer
15 years 6 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
134
click to vote
ASIAMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Simulation is perhaps the most cost-effective tool to evaluate the operation of a system under design. A flexible, easy to extend, fully object-oriented, and multilayered simulato...