10263 search results - page 380 / 2053 » From Use Cases to System Operation Specifications |
193
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
209
click to vote
FUIN
2010
15 years 5 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
214
click to vote
WIAS
2008
15 years 7 months ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
176
click to vote
TREC
2004
15 years 9 months ago
2004
The text-mining system we are building deals with the specific problem of identifying the instances of relevant concepts present in the texts. Therefore, our system relies on inte...
189
click to vote
ACL
1998
15 years 9 months ago
1998
This paper describes a domain independent, automatically trained call router which directs customer calls based on their response to an open-ended "How may I direct your call...