Sciweavers

2911 search results - page 433 / 583
» A Logic of Graph Constraints
Sort
View
79
Voted
FSKD
2007
Springer
100views Fuzzy Logic» more  FSKD 2007»
15 years 7 months ago
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
Yanhua Du, Yushun Fan
95
Voted
WSFM
2007
Springer
15 years 6 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
EDOC
2006
IEEE
15 years 6 months ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
15 years 6 months ago
A New Method of Executing Multiple Auxiliary Tasks by Redundant Nonholonomic Mobile Manipulators
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
Yugang Liu, Yangmin Li
98
Voted
DOCENG
2006
ACM
15 years 6 months ago
The limsee3 multimedia authoring model
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
Romain Deltour, Cécile Roisin