Sciweavers

2919 search results - page 382 / 584
» Data Modeling Is Important for SOA
Sort
View
CAV
2003
Springer
145views Hardware» more  CAV 2003»
15 years 11 months ago
Monitoring Temporal Rules Combined with Time Series
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
Doron Drusinsky
ICVS
2003
Springer
15 years 11 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
ACIIDS
2009
IEEE
162views Database» more  ACIIDS 2009»
15 years 11 months ago
Deriving Conceptual Schema from XML Databases
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...
Oviliani Yenty Yuliana, Suphamit Chittayasothorn
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
15 years 11 months ago
Real-Time Haptic and Visual Simulation of Bone Dissection
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 11 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard