2556 search results - page 196 / 512 » The Triconnected Abstraction of Process Models |
215
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
206
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
202
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- This paper presents a method to associate meanings to words in manipulation tasks. We base our model on an affordance network, i.e., a mapping between robot actions, rob...
225
click to vote
CJ
2010
15 years 4 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
205
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...