1919 search results - page 14 / 384 » Recent Extensions to Traviando |
HOTOS
1997
IEEE
14 years 2 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
COMMA
2010
13 years 4 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
AFRICACRYPT
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The most costly operations encountered in pairing computations are those that take place in the full extension field Fpk . At high levels of security, the complexity of ...
SIGMOD
1998
ACM
14 years 2 months ago
1998
ACM
The functionality of extensible database servers can be augmented by user-de ned functions UDFs . However, the server's security and stability are concerns whenever new code...