4290 search results - page 754 / 858 » Formal Approaches to Teamwork |
170
click to vote
SIGOPS
2008
15 years 6 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
174
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
158
click to vote
TKDE
2008
15 years 6 months ago
2008
Searching for words on a watchlist is one way in which large-scale surveillance of communication can be done, for example, in intelligence and counterterrorism settings. One obviou...
181
click to vote
TMI
2008
15 years 6 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
176
click to vote
JNCA
2007
15 years 6 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...