1655 search results - page 110 / 331 » State, Event, Time and Diagram in System Modeling |
148
click to vote
SIROCCO
2010
15 years 7 months ago
2010
This paper studies local-control strategies to estimate the size of a certain event affecting an arbitrary connected subset of nodes in a network. For example, our algorithms allow...
171
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
163
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper describes a jam session system that enables a human player to interplay with virtual players which can imitate the player personality models of various human players. P...
171
click to vote
DEDS
1998
15 years 5 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
151
click to vote
CIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Survivability should be considered beyond security for networked information systems, which emphasizes the ability of continuing providing services timely in malicious en...