5451 search results - page 911 / 1091 » Typed Operational Semantics |
208
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
124
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
133
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
136
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a stretchable large area sensor skin based on Two-Dimensional Signal Transmission (2DST) technology. A small tactile sensor chip with stable non-contact ...
141
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In interference-limited wireless cellular systems, interference avoidance and interference averaging are widely adopted to combat co-channel interference. In different types of...