15779 search results - page 2502 / 3156 » Change-oriented software engineering |
153
click to vote
ICESS
2004
Springer
15 years 10 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
148
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
151
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
175
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
159
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...