24421 search results - page 4644 / 4885 » Communicating Complex Systems |
117
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
192
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
169
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...
146
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
150
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...