1283 search results - page 201 / 257 » A Survey on Temporal Logics |
142
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
187
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
154
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
179
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
149
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...