10038 search results - page 295 / 2008 » Model Checking for Managers |
162
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
180
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
145
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
153
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
166
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...