Sciweavers

1580 search results - page 193 / 316
» Cooperation in Aircraft Design
Sort
View
USENIX
2007
15 years 9 months ago
Supporting Multiple OSes with OS Switching
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...
Jun Sun 0002, Dong Zhou, Steve Longerbeam
ATAL
2008
Springer
15 years 8 months ago
Do humans identify efficient strategies in structured peer-to-peer systems?
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
Stephan Schosser, Klemens Böhm, Bodo Vogt
ATAL
2008
Springer
15 years 8 months ago
Robust team-play in highly uncertain environments
Effective teamwork in highly dynamic environments requires a delicate balance between giving agents the autonomy to act and react on their own and restricting that autonomy so tha...
Henry Work, Eric Chown, Tucker Hermans, Jesse Butt...
BIRTHDAY
2005
Springer
15 years 8 months ago
Ambient Intelligence: Towards Smart Appliance Ensembles
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
José L. Encarnação, Thomas Ki...
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 8 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein