1683 search results - page 232 / 337 » A Needed Narrowing Strategy |
151
click to vote
MAAMAW
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents a microeconomics-based equilibratory approach to a distributed resource allocation problem in a multi-agent system. In a multi-agent system, each agent has its ...
117
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
148
click to vote
COORDINATION
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
149
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...