Sciweavers

2521 search results - page 339 / 505
» Semantic Component Composition
Sort
View
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 6 months ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty
89
Voted
WSTFEUS
2003
IEEE
15 years 6 months ago
uBlocks: Enabling Hand-made Distributed Application Among Ubiquitous Embedded Devices
Increase of future appliances at home environment causes confusion with less computer-skilled users. Consequently, embedded-hardware could prevent us from recognizing all of them ...
Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda
115
Voted
ISSRE
2002
IEEE
15 years 5 months ago
Fault Detection Capabilities of Coupling-based OO Testing
Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on un...
Roger T. Alexander, Jeff Offutt, James M. Bieman
92
Voted
GI
2009
Springer
15 years 5 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
ASIACRYPT
2001
Springer
15 years 5 months ago
A Compact Rijndael Hardware Architecture with S-Box Optimization
Compact and high-speed hardware architectures and logic optimization methods for the AES algorithm Rijndael are described. Encryption and decryption data paths are combined and all...
Akashi Satoh, Sumio Morioka, Kohji Takano, Seiji M...