Sciweavers

8621 search results - page 1498 / 1725
» Interaction Design
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 24 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CAISE
2007
Springer
16 years 24 days ago
Analyzing the Dynamic Cost Factors of Process-Aware Information Systems: A Model-Based Approach
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
Bela Mutschler, Manfred Reichert, Stefanie Rinderl...
CIKM
2007
Springer
16 years 24 days ago
A knowledge-based search engine powered by wikipedia
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
David N. Milne, Ian H. Witten, David M. Nichols
ER
2007
Springer
107views Database» more  ER 2007»
16 years 24 days ago
A Conceptual Framework to Support Semantic Interoperability of Geospatial Datacubes
Today, we observe a wide use of geospatial databases that are implemented in many forms (e.g. transactional centralized systems, distributed databases, multidimensional datacubes)....
Tarek Sboui, Yvan Bédard, Jean Brodeur, Thi...
EUROSSC
2007
Springer
16 years 24 days ago
CenceMe - Injecting Sensing Presence into Social Networking Applications
Abstract. We present the design, prototype implementation, and evaluation of CenceMe, a personal sensing system that enables members of social networks to share their sensing prese...
Emiliano Miluzzo, Nicholas D. Lane, Shane B. Eisen...
« Prev « First page 1498 / 1725 Last » Next »