882 search results - page 108 / 177 » Allowing State Changes in Specifications |
168
click to vote
DSN
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
138
click to vote
SEAA
2008
IEEE
16 years 11 days ago
2008
IEEE
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
192
click to vote
IJCNN
2006
IEEE
16 years 19 hour ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
172
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
162
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...