1912 search results - page 354 / 383 » On the evaluation of argumentation formalisms |
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
126
click to vote
ECRTS
2006
IEEE
15 years 5 months ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
112
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...
113
click to vote
ISESE
2006
IEEE
15 years 5 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
103
click to vote
IWCMC
2006
ACM
15 years 5 months ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...