4919 search results - page 576 / 984 » A Process-Ontological Model for Software Engineering |
121
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
162
click to vote
AADEBUG
2000
Springer
15 years 9 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
144
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
139
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
158
Voted
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...