Sciweavers

974 search results - page 160 / 195
» Semantic Announcement Sharing
Sort
View
SAC
2003
ACM
14 years 20 days ago
Organizational Modeling in UML and XML in the Context of Workflow Systems
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Er...
ADBIS
2003
Springer
99views Database» more  ADBIS 2003»
14 years 20 days ago
Towards Collaborative Video Authoring
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...
Boris Novikov, Oleg Proskurnin
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 20 days ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
14 years 16 days ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault
DATE
2010
IEEE
155views Hardware» more  DATE 2010»
14 years 16 days ago
A Smart Space application to dynamically relate medical and environmental information
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...
Fabio Vergari, Sara Bartolini, Federico Spadini, A...