1415 search results - page 270 / 283 » Verified systems by composition from verified components |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The distributed task allocation problem occurs in domains like web services, the grid, and other distributed systems. In this problem, the system consists of servers and mediators...
DGO
2007
13 years 9 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
CSREAESA
2006
13 years 9 months ago
2006
SoPC (System on a Programmable Chip) is one important kind of SoC solution based on PLD (Programmable Logic Device). At the same time, PBD (Platform-based Design) has become popul...
COMCOM
2008
13 years 7 months ago
2008
This article presents an integrated admission control and routing mechanism for multi-rate wireless mesh networks. Admission control depends on precise estimates of available band...