271 search results - page 20 / 55 » A comparison between two logical formalisms for rewriting |
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
KR
1998
Springer
14 years 3 days ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
INAP
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...