878 search results - page 157 / 176 » Interacting Abstract State Machines |
ICWE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we present an implementation using XML and Java (XSHAAD) based on a modular architecture of SHAAD to support a web-based Adaptive Hypermedia System. This ar...
EUC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
FTRTFT
2000
Springer
15 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
DBSEC
2007
14 years 11 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
MMS
2008
14 years 9 months ago
2008
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...