1784 search results - page 340 / 357 » Formal Models for Embedded System Design |
SAGA
2005
Springer
15 years 3 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
104
click to vote
SIGCOMM
2012
ACM
13 years 3 days ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
79
Voted
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...