3765 search results - page 66 / 753 » Qualitative Action Systems |
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
ISF
2002
13 years 8 months ago
2002
Abstract. Virtual professional communities require a strong coevolution of their social and information systems. To ensure that the evolutionary process of their socio-technical sy...
ETRICS
2006
14 years 13 days ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
RAS
2006
13 years 8 months ago
2006
According to the motor theories of perception, the motor systems of an observer are actively involved in the perception of actions when these are performed by a demonstrator. In t...