12023 search results - page 86 / 2405 » The K-Rep System Architecture |
SAC
2006
ACM
14 years 4 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
ICCAD
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
ISCA
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
ACSC
2005
IEEE
14 years 3 months ago
2005
IEEE
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is pe...
DEXAW
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we present a novel, ontology-based approach to service discovery, which exploits domain knowledge and semantic service descriptions to guide the service discovery pr...