2512 search results - page 310 / 503 » Software Transactional Memory |
113
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
145
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
136
click to vote
MSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
142
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
Classroom BRIDGE supports activity awareness by facilitating planning and goal revision in collaborative, project-based middle school science. It integrates largescreen and deskto...
121
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In recent years there has been a movement toward deployment of distributed approaches for electronic commerce. Intelligent software agents, for instance, may be instructed to act ...