1153 search results - page 91 / 231 » Compositional Specification Calculus for Information Systems... |
144
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
156
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...
123
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Evaluation measures act as objective functions to be optimized by information retrieval systems. Such objective functions must accurately reflect user requirements, particularly w...
128
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
People frequently write messages to themselves. These informal, hurried personal jottings serve as temporary storage for notable information as well as reminders for future action...
117
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Information sharing is the defining principle for public safety and Web Services is the technology best positioned to facilitate sharing and lower costs. The National Law Enforcem...