3256 search results - page 401 / 652 » Applications of Formal Methods to System Design and Verifica... |
189
click to vote
MOBICOM
2004
ACM
16 years 9 hour ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
170
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
165
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
171
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
164
click to vote
FPGA
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents the application of time-delay sonar beamforming and discusses a multi-board FPGA system for performing several variations of this beamforming method in real-ti...