5962 search results - page 695 / 1193 » Working with Patterns and Code |
234
click to vote
MDAFA
2004
Springer
16 years 20 days ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
185
click to vote
OOPSLA
2004
Springer
16 years 20 days ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
206
click to vote
OTM
2004
Springer
16 years 20 days ago
2004
Springer
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
206
click to vote
VMCAI
2004
Springer
16 years 20 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
275
click to vote
WAC
2004
Springer
16 years 20 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...