4460 search results - page 123 / 892 » Formal methods for interactive systems |
137
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
172
Voted
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
131
Voted
SEFM
2009
IEEE
15 years 10 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 ...
112
Voted
DALT
2006
Springer
15 years 7 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...
123
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...