5630 search results - page 269 / 1126 » Computability in Specification |
151
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
196
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
193
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
165
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
199
click to vote
GCC
2007
Springer
16 years 27 days ago
2007
Springer
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...