1682 search results - page 324 / 337 » Techniques for Automating Distributed Real-Time Applications... |
WADT
1999
Springer
15 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
IWCMC
2010
ACM
14 years 11 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
CONEXT
2009
ACM
14 years 10 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
106
click to vote
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
168
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...