Sciweavers

1137 search results - page 89 / 228
» A framework to model real-time databases
Sort
View
148
Voted
ICWE
2005
Springer
15 years 10 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
143
Voted
ESORICS
2008
Springer
15 years 6 months ago
Sharemind: A Framework for Fast Privacy-Preserving Computations
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
Dan Bogdanov, Sven Laur, Jan Willemson
ECIS
2000
15 years 6 months ago
Perspectives on Knowledge Management Systems - Theoretical Framework and Design of an Empirical Study
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
Ronald Maier, Franz Lehner
175
Voted
IJRR
2010
159views more  IJRR 2010»
14 years 11 months ago
Vision-guided Robot System for Picking Objects by Casting Shadows
We present a complete vision guided robot system for model based 3D pose estimation and picking of singulated 3D objects. Our system employs a novel vision sensor consisting of a ...
Amit Agrawal, Yu Sun, John Barnwell, Ramesh Raskar
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 9 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim