9110 search results - page 274 / 1822 » Formally-Based Design Evaluation |
198
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of mobile ad hoc sensor networks has brought new challenges to traditional network design. This paper focuses on the study at the application layer. In specific, it...
196
click to vote
AMET
1998
Springer
15 years 10 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...
156
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
176
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
—Many application-specific architectures provide indirect addressing modes with auto-increment/decrement arithmetic. Since these architectures generally do not feature an indexe...
179
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
This empirical study examines factors influencing the success of a commercial groupware system in creating group archives and supporting asynchronous communication. The study inve...