178 search results - page 11 / 36 » Dependability Arguments with Trusted Bases |
ACMSE
2004
ACM
14 years 25 days ago
2004
ACM
In this paper, we propose a routing protocol that is based on securing the routing information from unauthorized users. Even though routing protocols of this category are already ...
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
AIIA
2009
Springer
13 years 10 months ago
2009
Springer
In this paper, we propose a representation of excuses in the context of multiagent systems. We distinguish five classes of excuses, taking as starting point both jurisprudential an...
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
FC
2001
Springer
13 years 12 months ago
2001
Springer
The technological challenges of securing networks are great, as recently witnessed in widespread denial of service and virus attacks. The human reaction to these attacks may be ei...