1540 search results - page 87 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
ADAEUROPE
2008
Springer
14 years 2 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
MPC
2010
Springer
14 years 19 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...