10159 search results - page 347 / 2032 » System Design Validation Using Formal Models |
171
click to vote
ISPE
2003
15 years 5 months ago
2003
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
136
click to vote
AICT
2006
IEEE
15 years 7 months ago
2006
IEEE
We present NetTraveler a database middleware system for WANs that is designed to efficiently run queries over sites that are either mobile clients or enterprise servers. NetTravel...
132
Voted
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
113
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
137
Voted
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...