1188 search results - page 187 / 238 » Testing Semantics: Connecting Processes and Process Logics |
138
click to vote
PRDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
117
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
139
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
One important application of wireless sensor networks is tracking moving objects. The recent progress has made it possible for tiny sensors to have more computing power and storag...
158
click to vote
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
108
click to vote
SERP
2007
15 years 5 months ago
2007
– The use of design patterns such as the GRASP (General Responsibility Assignment Software Principles) or GoF (Gang-of-Four) patterns in software engineering has been well-docume...