4036 search results - page 637 / 808 » Formal Methods |
216
click to vote
IHIS
2005
ACM
16 years 1 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
172
click to vote
SIGECOM
2005
ACM
16 years 1 days ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
128
click to vote
AIED
2005
Springer
16 years 18 hour ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
153
click to vote
CAV
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
176
click to vote
CAV
2005
Springer
16 years 13 hour ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...