3256 search results - page 420 / 652 » Applications of Formal Methods to System Design and Verifica... |
186
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
169
click to vote
SPRINGSIM
2007
15 years 6 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
163
click to vote
SAINT
2008
IEEE
15 years 12 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
154
click to vote
WEBNET
2000
15 years 7 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
190
Voted
SIAMSC
2008
15 years 5 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...