503 search results - page 98 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
TPDS
2002
13 years 9 months ago
2002
Middleware has been introduced to provide interoperability as well as transparent location of servers in heterogeneous client-server environments. Although such benefits accrue fro...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...