1336 search results - page 40 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
121
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
153
click to vote
COOPIS
1995
IEEE
15 years 6 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
106
click to vote
ECIS
2001
15 years 4 months ago
2001
This paper addresses the issue of operationalising guidelines for IOS planning. The authors explore the usefulness of Triple Loop Learning in light of the IOS development experien...
120
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
134
click to vote
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...