2500 search results - page 185 / 500 » Specifying Behavior in C |
113
Voted
AUIC
2003
IEEE
15 years 9 months ago
2003
IEEE
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
119
Voted
DSVIS
2003
Springer
15 years 8 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
131
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
157
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
114
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....