Sciweavers

933 search results - page 145 / 187
» How compilers and tools differ for embedded systems
Sort
View
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
14 years 9 months ago
DejaVu: declarative pattern matching over live and archived streams of events
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
Nihal Dindar, Baris Güç, Patrick Lau, ...
JCDL
2009
ACM
162views Education» more  JCDL 2009»
14 years 3 months ago
No bull, no spin: a comparison of tags with other forms of user metadata
User-contributed tags have shown promise as a means of indexing multimedia collections by harnessing the combined efforts and enthusiasm of online communities. But tags are only o...
Catherine C. Marshall
HICSS
2008
IEEE
170views Biometrics» more  HICSS 2008»
14 years 3 months ago
A Collaborative Dimensions Framework: Understanding the Mediating Role of Conceptual Visualizations in Collaborative Knowledge W
Facilitating collaborative knowledge work is a crucial issue in management: knowledge is a key corporate asset, but it is typically spread across various people in different organ...
Sabrina Bresciani, Alan F. Blackwell, Martin J. Ep...
AWIC
2003
Springer
14 years 1 months ago
Formalization of Web Design Patterns Using Ontologies
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
Susana Montero, Paloma Díaz, Ignacio Aedo
DFG
2004
Springer
14 years 13 days ago
Modeling and Formal Verification of Production Automation Systems
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...