7766 search results - page 1282 / 1554 » Testing Nondeterminate Systems |
118
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
107
click to vote
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose DotSlash, a self-configuring and scalable rescue system, for handling web hotspots at dynamic content web sites. To support load migration for dynamic content, an orig...
102
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
90
Voted
QSIC
2005
IEEE
15 years 6 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
111
click to vote
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider the problem of energy minimization for periodic preemptive hard real-time tasks that are scheduled on an identical multiprocessor platform with dynamic voltage scaling...