2896 search results - page 508 / 580 » Curricula Modeling and Checking |
176
click to vote
WECWIS
2005
IEEE
16 years 8 days ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
163
click to vote
PASTE
2005
ACM
16 years 8 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
183
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
161
click to vote
ATVA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
191
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...