Sciweavers

4276 search results - page 674 / 856
» Techniques for Empirical Validation
Sort
View
MOBIQUITOUS
2005
IEEE
15 years 12 months ago
Defend Against Cache Consistency Attacks in Wireless Ad Hoc Networks
Caching techniques can be used to reduce bandwidth consumption and data access delay in wireless ad hoc networks. When cache is used, cache consistency issues must be addressed. T...
Wensheng Zhang, Guohong Cao
RTAS
2005
IEEE
15 years 12 months ago
A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
Krishnakumar Balasubramanian, Jaiganesh Balasubram...
SAINT
2005
IEEE
15 years 12 months ago
Inductive Logic Programming for Structure-Activity Relationship Studies on Large Scale Data
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...
WETICE
2005
IEEE
15 years 12 months ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ASPDAC
2005
ACM
140views Hardware» more  ASPDAC 2005»
15 years 12 months ago
A multi-level transmission line network approach for multi-giga hertz clock distribution
-In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
Hongyu Chen, Chung-Kuan Cheng