1660 search results - page 258 / 332 » A Behavior Model for Next Generation Test Systems |
100
click to vote
MOBIQUITOUS
2008
IEEE
15 years 4 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
BMCBI
2006
14 years 10 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
105
click to vote
PATMOS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...