6608 search results - page 959 / 1322 » On the Completeness of Model Checking |
148
click to vote
ICWE
2004
Springer
16 years 29 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...
199
Voted
ISMS
2004
Springer
16 years 28 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...
186
click to vote
KR
2004
Springer
16 years 28 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...
197
click to vote
LPNMR
2004
Springer
16 years 28 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 ...
206
Voted
MEMBRANE
2004
Springer
16 years 28 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...