6608 search results - page 959 / 1322 » On the Completeness of Model Checking |
133
click to vote
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
181
Voted
ISMS
2004
Springer
16 years 5 days ago
2004
Springer
The idea of using computer-based surgical simulators for training of prospective surgeons has been a topic of research for more than a decade. However, surgical simulation is still...
163
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
182
click to vote
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
186
click to vote
MEMBRANE
2004
Springer
16 years 5 days ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...