1655 search results - page 210 / 331 » State, Event, Time and Diagram in System Modeling |
166
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
161
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
162
click to vote
SAINT
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we model DCCP congestion control mechanism and RED as independent discrete-time systems using fluid-flow approximation. By interconnecting DCCP connections and RE...
184
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
186
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...