3028 search results - page 590 / 606 » Integrating Temporal Logics |
146
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
145
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
146
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
140
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
133
click to vote
DFT
2006
IEEE
15 years 10 months ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...