119 search results - page 13 / 24 » Dependable systems of the future - What is still needed |
MABS
2007
Springer
14 years 1 months ago
2007
Springer
This paper contributes to the analysis of the question how altruistic behaviour can be in an agent’s own interest. The question is addressed by involving a temporal dimension in ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Future applications will bring unmanned aerial vehicles (UAVs) to new environments such as urban areas, causing a change in the way that UAVs are currently operated. However, U...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
The main functionality of the Domain Name System (DNS) is to translate symbolic names into IP addresses. Due to the criticality of DNS for the proper functioning of the Internet, ...
MC
2008
13 years 8 months ago
2008
In the current discussion of the impact Web 2.0 may have on CSCW and Groupware research, Web 2.0 applications are often considered to be a substitute for Collaboration Support Sys...