2703 search results - page 442 / 541 » Learning operational requirements from goal models |
205
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
169
click to vote
USENIX
2008
15 years 9 months ago
2008
We propose an approach to remote display systems in which the client predicts the screen update events that the server will send and applies them to the screen immediately, thus e...
173
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
180
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...
189
click to vote
CAD
1999
Springer
15 years 6 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...