Sciweavers

699 search results - page 17 / 140
» On Objects and Events
Sort
View
ISTA
2003
13 years 10 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
ICIP
2010
IEEE
13 years 6 months ago
Video anomaly detection in spatiotemporal context
Compared to other approaches that analyze object trajectories, we propose to detect anomalous video events at three levels considering spatiotemporal context of video objects, i.e...
Fan Jiang, Junsong Yuan, Sotirios A. Tsaftaris, Ag...
HAPTICS
2005
IEEE
14 years 2 months ago
Event-Based Haptics and Acceleration Matching: Portraying and Assessing the Realism of Contact
Contact in a typical haptic environment resembles the experience of tapping on soft foam, rather than on a hard object. Event-based, high-frequency transient forces must be superi...
Katherine J. Kuchenbecker, Jonathan Fiene, Gü...
WSC
1998
13 years 10 months ago
Modeling at the Machine-Control Level Using Discrete Event Simulation (DES)
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
Raid Al-Aomar, Daniel Cook
ASM
2008
ASM
13 years 11 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...