4887 search results - page 516 / 978 » System Level Design Using C |
176
click to vote
IIWAS
2008
15 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
172
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
173
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
214
click to vote
SCS
2003
15 years 8 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
175
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
: ? Delivering Energy Proportionality with Non Energy-Proportional Systems-Optimizing the Ensemble Niraj Tolia, Zhikui Wang, Manish Marwah, Cullen Bash, Parthasarathy Ranganathan, ...