440 search results - page 3 / 88 » A DOP Model for Semantic Interpretation |
COLING
1990
14 years 1 days ago
1990
ROOM
2000
14 years 6 days ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
ER
2004
Springer
14 years 4 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
TCS
2008
13 years 10 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...