3868 search results - page 415 / 774 » Open Systems in TLA |
163
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
185
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
165
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical lev...
167
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a general solution model using agent technology in order to solve two critical open issues in the course timetabling problem: application-specific issues and d...
171
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...