3868 search results - page 27 / 774 » Open Systems in TLA |
112
click to vote
CSMR
2008
IEEE
15 years 8 months ago
2008
IEEE
Effort to evolve and maintain a software system is likely to vary depending on the amount and frequency of change requests. This paper proposes to model change requests as time se...
109
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
115
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
115
Voted
PROLAMAT
2001
15 years 3 months ago
2001
: In an ideal scenario of intelligent machine tools [18] the human mechanist was almost replaced by the controller. During the last decade many efforts have been made to get closer...
103
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...