1454 search results - page 28 / 291 » Stateful traits and their formalization |
90
Voted
PACT
2007
Springer
15 years 6 months ago
2007
Springer
The application of the Orthogonal Organized Finite State Machine (OOFSM) to the representation of data acquired by sensor networks is proposed. The OOFSM was proposed in earlier wo...
113
click to vote
APWEB
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
91
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
115
Voted
IJCAI
2003
15 years 1 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
75
Voted
AAAI
2004
15 years 1 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...