Sciweavers

67 search results - page 2 / 14
» When Ambients Cannot Be Opened
Sort
View
SDL
2007
192views Hardware» more  SDL 2007»
13 years 6 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
SIGMETRICS
2010
ACM
201views Hardware» more  SIGMETRICS 2010»
13 years 10 months ago
Load balancing via random local search in closed and open systems
In this paper, we analyze the performance of random load resampling and migration strategies in parallel server systems. Clients initially attach to an arbitrary server, but may s...
Ayalvadi Ganesh, Sarah Lilienthal, D. Manjunath, A...
IJCAI
2003
13 years 6 months ago
On Identifying and Managing Relationships in Multi-Agent Systems
Multi-agent systems result from interactions between individual agents. Through these interactions different kinds of relationships are formed, which can impact substantially on t...
Ronald Ashri, Michael Luck, Mark d'Inverno
ECTEL
2006
Springer
13 years 9 months ago
Tracking User Participation in a Large Scale Team Collaboration Environment
All students of the Hellenic Open University (HOU) attend undergraduate and postgraduate courses at a distance. The lack of a live academic community is reported by many as a drawb...
Dionysis Karaiskakis, Dimitrios Kalles, Thanasis H...
ICDS
2009
IEEE
14 years 1 days ago
Security and User Guidelines for the Design of the Future Networked Systems
—Emergence of new networking technologies and paradigms provides users multitude of ways to communicate with each others and exchange information irrespective of time and place. ...
Seppo Heikkinen, Sari Kinnari, Kari Heikkinen