15885 search results - page 2443 / 3177 » The Modest Software Engineer |
223
click to vote
ICESS
2004
Springer
16 years 25 days ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
203
click to vote
ICESS
2004
Springer
16 years 25 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 25 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, ...
219
click to vote
ICWE
2004
Springer
16 years 25 days 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...
221
click to vote
MIDDLEWARE
2004
Springer
16 years 25 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 ...