193 search results - page 33 / 39 » Modeling Environment for Component Model Checking from Hiera... |
ICSOC
2010
Springer
13 years 7 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
NORDICHI
2004
ACM
14 years 2 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
BIRTHDAY
2010
Springer
14 years 1 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...
USITS
2001
13 years 10 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...