Sciweavers

3119 search results - page 283 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 9 months ago
Discretization of Linear Fractional Representations of LPV systems
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
Roland Tóth, Marco Lovera, Peter S. C. Heub...
ICCHP
2004
Springer
15 years 10 months ago
AccesSights - A Multimodal Location-Aware Mobile Tourist Information System
Abstract. Through recent developments in the segment of mobile devices like personal digital assistants (PDA) the usage of mobile applications in different areas of our normal lif...
Palle Klante, Jens Krösche, Susanne Boll
BPM
2009
Springer
153views Business» more  BPM 2009»
15 years 5 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...
COLCOM
2008
IEEE
15 years 6 months ago
Towards Continuous Workflow Enactment Systems
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
Panayiotis Neophytou, Panos K. Chrysanthis, Alexan...
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 8 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein