2106 search results - page 147 / 422 » Specifying C concepts |
140
click to vote
AUIC
2003
IEEE
15 years 11 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...
160
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Attacks against distributed systems frequently start at the network layer by gathering network related information (such as open TCP ports) and continue on by exhausting resources...
151
Voted
DSVIS
2003
Springer
15 years 11 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 ...
164
click to vote
FM
2003
Springer
15 years 11 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...
191
click to vote
AOSE
2001
Springer
15 years 10 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...