3045 search results - page 479 / 609 » Formal Approaches to Software Architecture |
219
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
250
click to vote
MATES
2010
Springer
15 years 5 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...
169
click to vote
WSE
2006
IEEE
16 years 17 days ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
204
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
221
click to vote
ECOOPW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...