15614 search results - page 72 / 3123 » The State of State |
97
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
103
click to vote
IJON
2007
15 years 19 days ago
2007
Existing models of EEG have mainly focused on relations to network dynamics characterized by firing rates [L. de Arcangelis, H.J. Herrmann, C. Perrone-Capano, Activity-dependent ...
112
Voted
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
122
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
67
Voted
WACV
2002
IEEE
15 years 5 months ago
2002
IEEE
Aiming at manipulating clothes, a model-driven method of estimating the state of hanging clothes is proposed. We suppose a system consisting of two manipulators and a camera. The ...