8627 search results - page 1429 / 1726 » Software Engineering Using RATionale |
172
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
175
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
187
click to vote
LCTRTS
2007
Springer
16 years 26 days ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
193
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
191
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...