2613 search results - page 33 / 523 » Proposal for Tools Supporting Component Based Programming |
127
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
146
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
139
Voted
SFM
2005
Springer
15 years 8 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
166
Voted
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
93
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...