3161 search results - page 508 / 633 » Documenting framework behavior |
110
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...
135
Voted
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
110
Voted
MOBIHOC
2007
ACM
16 years 2 months ago
2007
ACM
Vehicular ad hoc networks (VANETs) are envisioned to provide us with numerous interesting services in the near future. One of the most promising applications is the dissemination ...
135
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
111
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...