1336 search results - page 148 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
150
Voted
HT
1987
ACM
15 years 7 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
109
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
127
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
129
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
153
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...