3199 search results - page 470 / 640 » Variability in Automation System Models |
163
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
act The strategic use of technology based information systems (IS/IT) is a fundamental issue for every business. This is particularly true in the case of firms that engage in inter...
141
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
179
Voted
WSC
2007
15 years 9 months ago
2007
Agent-based simulation provides a methodology to investigate complex systems behavior, such as supply chains, while incorporating many empirical elements relative to both systems ...
156
click to vote
WSC
2004
15 years 8 months ago
2004
Ancillary departments, which include radiology services, are among the important factors that affect the efficiency of patient care in a hospital. This paper presents results from...
175
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...