3972 search results - page 330 / 795 » Palpability Support Demonstrated |
121
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
118
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
150
click to vote
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
124
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
147
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...