1700 search results - page 132 / 340 » Specifying and implementing refactorings |
112
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— The successful acquisition and organization of a large number of skills for humanoid robots can be facilitated with a collection of performable tasks organized in a task matrix...
117
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a novel approach for the implementation of efficient and dependable web service engines (WSEs). A WSE instance represents a single node in a distributed network of par...
139
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
144
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
139
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...