29143 search results - page 443 / 5829 » A Sortation System Model |
193
click to vote
IJMMS
1998
15 years 6 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
178
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
212
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
141
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
171
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...