8446 search results - page 1550 / 1690 » A Process Compensation Language |
120
Voted
ASYNC
2007
IEEE
15 years 7 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
136
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
143
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
132
Voted
ER
2007
Springer
15 years 7 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
141
click to vote
ADC
2004
Springer
15 years 7 months ago
2004
Springer
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...