2586 search results - page 344 / 518 » Automatic Abstraction for Congruences |
168
click to vote
ISSRE
2008
IEEE
16 years 26 days ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
165
click to vote
NOMS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Rapid and unpredictable topology changes and resource constraints make delivering packets in a MANET (Mobile Ad hoc Network) a challenging task. Routing information has ...
159
click to vote
NOMS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...
193
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
191
click to vote
AIMSA
2008
Springer
16 years 24 days ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...