488 search results - page 70 / 98 » On the Formal Generation of Process Redesigns |
PODS
2004
ACM
14 years 10 months ago
2004
ACM
Continuous queries in a Data Stream Management System (DSMS) rely on time as a basis for windows on streams and for defining a consistent semantics for multiple streams and updata...
AUSDM
2007
Springer
14 years 4 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...
ESEC
1999
Springer
14 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...