15777 search results - page 2395 / 3156 » Software Engineering |
203
click to vote
ICESS
2004
Springer
16 years 24 days 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 ...
218
click to vote
ICFEM
2004
Springer
16 years 24 days 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, ...
221
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days 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 ...
211
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days 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...
147
click to vote
RISE
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. How can off-the-shelf editors be reused in applications that need mature editing support? We describe our editor multiplexer which enables interactive, application guided...