4419 search results - page 99 / 884 » Information Science in Transition |
ISOLA
2004
Springer
14 years 3 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
ITC
2003
IEEE
14 years 3 months ago
2003
IEEE
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...
BMCBI
2007
13 years 10 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
ECBS
2007
IEEE
14 years 4 months ago
2007
IEEE
Cyber Physical Systems (CPS) is emerging as a new research discipline at the intersection of physical, biological, engineering and information sciences. Information technology, on...