29143 search results - page 339 / 5829 » A Sortation System Model |
176
click to vote
EWSA
2004
Springer
16 years 1 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
151
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
161
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
153
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
141
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
We point out several problems in scalingup statistical approaches to spoken dialogue systems to enable them to deal with complex but natural user goals, such as disjunctive and ne...