Sciweavers

6198 search results - page 527 / 1240
» Multi-Paradigm Process Management
Sort
View
192
Voted
SSD
1999
Springer
158views Database» more  SSD 1999»
15 years 11 months ago
Capturing the Uncertainty of Moving-Object Representations
Spatiotemporal applications, such as fleet management and air traffic control, involving continuously moving objects are increasingly at the focus of research efforts. The repres...
Dieter Pfoser, Christian S. Jensen
VISUAL
1999
Springer
15 years 11 months ago
Querying Multimedia Data Sources and Databases
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
Shi-Kuo Chang, Gennaro Costagliola, Erland Jungert
167
Voted
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
15 years 11 months ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...
242
Voted
CAISE
2007
Springer
15 years 11 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ESCIENCE
2007
IEEE
15 years 10 months ago
Taverna Workflows: Syntax and Semantics
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
Daniele Turi, Paolo Missier, Carole A. Goble, Davi...