29143 search results - page 260 / 5829 » A Sortation System Model |
155
click to vote
FORMATS
2005
Springer
16 years 1 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
116
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
204
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
142
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...
163
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...