811 search results - page 120 / 163 » Integrating Formal Description Techniques |
127
click to vote
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
105
click to vote
CCGRID
2002
IEEE
15 years 4 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
104
click to vote
APCCM
2007
15 years 1 months ago
2007
The importance of metadata has been broadly referred in the last years, mainly in the field of data warehousing and decision support systems. Contemporarily, in the adjacent field...