1941 search results - page 359 / 389 » Reasoning about Computations Using Two-Levels of Logic |
SG
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
PERCOM
2003
ACM
15 years 5 months ago
2003
ACM
We investigate the performance issues of destinationsequenced distance vector (DSDV) and ad-hoc on-demand distance vector (AODV) routing protocols for mobile ad hoc networks. Four...
RTSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Preventing denial-of-service attacks in wireless sensor networks is difficult primarily because of the limited resources available to network nodes and the ease with which attacks...
111
click to vote
AOSE
2001
Springer
15 years 4 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...