3792 search results - page 283 / 759 » Techniques for Trusted Software Engineering |
162
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
167
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
174
click to vote
AVI
2004
15 years 8 months ago
2004
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...
178
click to vote
JOT
2008
15 years 6 months ago
2008
Often efforts to change techniques or processes are met by "But its working, why change now?" Usually the impetous for change comes from someone who does not believe it ...
142
click to vote
JOT
2006
15 years 6 months ago
2006
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...