Sciweavers

2604 search results - page 247 / 521
» Process Change Support Features
Sort
View
DATESO
2009
146views Database» more  DATESO 2009»
15 years 4 months ago
Compression of the Stream Array Data Structure
In recent years, many approaches to XML twig pattern query (TPQ) processing have been developed. Some algorithms are supported by a stream abstract data type. s an abstract data ty...
Radim Baca, Martin Pawlas
GPCE
2005
Springer
16 years 6 days ago
Component-Oriented Programming with Sharing: Containment is Not Ownership
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, A...
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
16 years 2 days ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
ICADL
2004
Springer
137views Education» more  ICADL 2004»
16 years 2 days ago
Using Content-Based and Link-Based Analysis in Building Vertical Search Engines
This paper reports our research in the Web page filtering process in specialized search engine development. We propose a machine-learning-based approach that combines Web content a...
Michael Chau, Hsinchun Chen
DEXAW
2000
IEEE
124views Database» more  DEXAW 2000»
15 years 11 months ago
E-Councils - Systems, Experiences, Perspectives
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...
Gerhard Schwabe