4286 search results - page 173 / 858 » Formalizing Service Interactions |
166
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
180
click to vote
DSN
2007
IEEE
16 years 21 days ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
147
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
130
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
182
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...