7766 search results - page 279 / 1554 » Testing Nondeterminate Systems |
153
Voted
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
163
click to vote
ASYNC
2005
IEEE
16 years 7 days ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
188
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
166
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
196
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...