42 search results - page 7 / 9 » compsac 2006 |
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...