1535 search results - page 275 / 307 » Software Engineering Design Patterns for Relational Database... |
SEW
2006
IEEE
15 years 4 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...
SWS
2005
ACM
15 years 3 months ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
MM
2004
ACM
15 years 3 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
CISSE
2008
Springer
15 years 1 days ago
2008
Springer
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
SENSYS
2006
ACM
15 years 4 months ago
2006
ACM
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...