2917 search results - page 533 / 584 » Satisfying Interaction Constraints |
127
click to vote
ICECCS
1998
IEEE
15 years 6 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
127
click to vote
PPDP
1999
Springer
15 years 6 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
114
click to vote
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
132
click to vote
AMET
1998
Springer
15 years 6 months ago
1998
Springer
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
105
click to vote
SAC
1998
ACM
15 years 6 months ago
1998
ACM
We have developed a desktop meeting environment named FreeWalk that supports casual meetings in a 3-dimensional (3D) virtual shared space, community common. Tools for human commun...