Sciweavers

1525 search results - page 203 / 305
» POSD-a notation for presenting complex systems of processes
Sort
View
CP
2004
Springer
14 years 2 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
POLICY
2004
Springer
14 years 2 months ago
PROTON: A Policy-based Solution for Future 4G devices
We present PROTON, a policy-based solution for 4G mobile devices – it allows users to seamlessly connect to highly integrated heterogeneous wireless networks. The key motivation...
Pablo Vidales, Rajiv Chakravorty, Calicrates Polic...
UML
2004
Springer
14 years 2 months ago
Specifying Cross-Cutting Requirement Concerns
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
Geri Georg, Raghu Reddy, Robert B. France
ICSOC
2003
Springer
14 years 2 months ago
Planning and Monitoring the Execution of Web Service Requests
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
EDOC
2000
IEEE
14 years 1 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...