12981 search results - page 2514 / 2597 » Model Checking and Abstraction |
146
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Content-based routing (CBR) is becoming increasingly popular as a building block for distributed applications. CBR differs from classical routing paradigms as messages a...
162
Voted
ABIALS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
117
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
139
click to vote
ANSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
128
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—This paper develops an algorithm for NMR backbone resonance assignment given a 3D structure and a set of relatively sparse 15 N-edited NMR data, with the through-space 1...