Sciweavers

716 search results - page 41 / 144
» Rule Formats for Timed Processes
Sort
View
BPM
2008
Springer
217views Business» more  BPM 2008»
13 years 9 months ago
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
Guido Governatori, Jörg Hoffmann, Shazia Wasi...
ISPD
2006
ACM
90views Hardware» more  ISPD 2006»
14 years 1 months ago
Fast buffer insertion considering process variations
Advanced process technologies call for a proactive consideration of process variations in design to ensure high parametric timing yield. Despite of its popular use in almost any h...
Jinjun Xiong, Lei He
ICCV
2005
IEEE
14 years 9 months ago
Multi-Scale Gesture Recognition from Time-Varying Contours
A novel method is introduced to recognize and estimate the scale of time-varying human gestures. It exploits the changes in contours along spatio-temporal directions. Each contour...
Hong Li, Michael A. Greenspan
SCS
2004
13 years 9 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
HT
2009
ACM
14 years 2 months ago
Statistical properties of inter-arrival times distribution in social tagging systems
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...
Andrea Capocci, Andrea Baldassarri, Vito Domenico ...