Sciweavers

2765 search results - page 256 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
BPM
2009
Springer
153views Business» more  BPM 2009»
15 years 7 months ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
IV
2005
IEEE
157views Visualization» more  IV 2005»
16 years 10 days ago
Smart and Physically-Based Navigation in 3D Geovirtual Environments
This paper describes an approach for smart and physically-based navigation, which aims at supporting effective and intuitive user interactions with 3D geovirtual environments (Geo...
Henrik Buchholz, Johannes Bohnet, Jürgen D&ou...
ICCAD
2000
IEEE
91views Hardware» more  ICCAD 2000»
15 years 11 months ago
A Timing-Constrained Algorithm for Simultaneous Global Routing of Multiple Nets
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
Jiang Hu, Sachin S. Sapatnekar
ICSEA
2009
IEEE
15 years 4 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
ICMCS
2009
IEEE
279views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Context saliency based image summarization
Image summarization is to determine a smaller but faithful representation of the original visual content. In this paper, we propose a context saliency based image summarization ap...
Liang Shi, Jinqiao Wang, Lei Xu, Hanqing Lu, Chang...