1395 search results - page 8 / 279 » Incremental Construction Approach for Distributed System Spe... |
72
Voted
BIRTHDAY
2004
Springer
15 years 1 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
SIGMETRICS
2003
ACM
15 years 2 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
FAC
2008
14 years 9 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
MCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We describe an ensemble of classifiers based algorithm for incremental learning in nonstationary environments. In this formulation, we assume that the learner is presente...