5374 search results - page 765 / 1075 » The induction of communication protocols |
183
click to vote
CNSR
2006
IEEE
16 years 1 months ago
2006
IEEE
Ad-hoc networks rely on participation and cooperation of nodes within the network to transmit data to destinations. However, in networks where participating nodes are controlled b...
187
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
213
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
130
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
199
Voted
DELTA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...