137 search results - page 20 / 28 » An Approach to Reasoning About Continuous Change for Applica... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
AAMAS
2007
Springer
13 years 8 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
ACHI
2009
IEEE
14 years 3 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...