2776 search results - page 112 / 556 » System-Level Abstraction Semantics |
125
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...
142
click to vote
EPK
2006
15 years 5 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
170
click to vote
DAGSTUHL
1993
15 years 5 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
115
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
123
click to vote
JAPLL
2007
15 years 4 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...