7209 search results - page 445 / 1442 » Software Engineering for Multi-Agent Systems |
126
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
116
Voted
AUIC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
152
Voted
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
140
click to vote
IWPC
1999
IEEE
15 years 7 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
117
Voted
UIST
1997
ACM
15 years 7 months ago
1997
ACM
This TechNote reports on our initial results of realizing a computer augmented wall called the HoloWall. Using an infrared camera located behind the wall, this system allows a use...