29143 search results - page 270 / 5829 » A Sortation System Model |
187
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
176
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
155
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
181
click to vote
MSWIM
2006
ACM
16 years 15 days ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
160
click to vote
ECMDAFA
2007
Springer
16 years 21 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...