12289 search results - page 893 / 2458 » computing 2006 |
207
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
195
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
225
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
198
click to vote
EDCC
2006
Springer
15 years 11 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
207
click to vote
EDO
2006
Springer
15 years 11 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...