3365 search results - page 396 / 673 » Digital System Design: Architectures, Methods and Tools |
165
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
172
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
In recent years, there has been an increased need for surveillance capabilities in both civilian and military arenas. Mobile unmanned sensor fleets have long been envisioned as a ...
204
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
181
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
167
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...