3256 search results - page 530 / 652 » Applications of Formal Methods to System Design and Verifica... |
168
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
181
click to vote
KDD
2012
ACM
13 years 8 months ago
2012
ACM
Online reviews provide consumers with valuable information that guides their decisions on a variety of fronts: from entertainment and shopping to medical services. Although the pr...
190
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
173
click to vote
AEI
2006
15 years 5 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
285
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...