2776 search results - page 154 / 556 » System-Level Abstraction Semantics |
135
Voted
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
141
click to vote
PSSS
2003
15 years 6 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
129
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
119
Voted
CBRMD
2010
15 years 2 months ago
2010
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
145
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...