1346 search results - page 161 / 270 » Alternating-time dynamic logic |
141
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Several approaches have been proposed to introduce self-management capabilities for web service compositions. However, most of these works are limited as they are not ex...
170
click to vote
EUROMICRO
2009
IEEE
16 years 9 days ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
144
click to vote
ADC
2006
Springer
15 years 11 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
169
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
181
Voted
EPIA
2003
Springer
15 years 10 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...