869 search results - page 138 / 174 » Implementing Electronic Marketplaces |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
: This paper describes the practical implementation of a federated health record server based on a generic and comprehensive architecture, deployed in a live clinical setting and a...
ICICS
2004
Springer
14 years 3 months ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
Audit logs are considered good practice for business systems, and are required by federal regulations for secure systems, drug approval data, medical information disclosure, fina...
CODES
2003
IEEE
14 years 3 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...