3765 search results - page 671 / 753 » Formal Methods for Systems Engineering Behavior Models |
138
Voted
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
129
Voted
APN
2010
Springer
15 years 7 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
133
click to vote
COMPUTER
2000
15 years 2 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
144
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
105
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...