9071 search results - page 1625 / 1815 » A co-design modeling approach for computer network systems |
203
click to vote
AVI
2006
15 years 8 months ago
2006
Increasingly, public transportation systems are equipped with Global Positioning Systems (GPS) connected to control centers through wireless networks. Controllers use this infrast...
204
click to vote
LISA
2008
15 years 9 months ago
2008
Play-on-demand is usually regarded as a feasible access mode for web content (including streaming video, web pages and so on), web services and some Software-As-A-Service (SaaS) a...
174
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
174
click to vote
WMCSA
2008
IEEE
16 years 28 days ago
2008
IEEE
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...
145
click to vote
SG
2007
Springer
16 years 20 days ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...