1716 search results - page 198 / 344 » Proving Conditional Termination |
112
Voted
NCA
2007
IEEE
15 years 7 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
88
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
73
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
This study investigates how individuals assess risks in IT development projects under different conditions. We focus on three conditions: the perceived control over the IT project...
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
126
Voted
SUTC
2006
IEEE
2006
IEEE
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
15 years 6 months ago
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...