1640 search results - page 43 / 328 » Design of Synchronous Action Systems |
136
Voted
ETRICS
2006
15 years 6 months 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...
117
Voted
ISORC
1998
IEEE
15 years 7 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...
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
132
Voted
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
154
Voted
ECSCW
1993
15 years 4 months ago
1993
: Drawing on writings within the CSCW community and on recent social theory, this paper proposes that the adoption of speech act theory as a foundation for system design carries wi...