259 search results - page 44 / 52 » Lessons learned from autonomous sciencecraft experiment |
151
click to vote
AGILEDC
2003
IEEE
15 years 9 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
116
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
149
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
121
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
An experimental GUI paradigm is presented which is based on the design goals of maximizing the amount of screen used for application data, reducing the amount that the UI diverts ...
125
click to vote
PAKM
2004
15 years 5 months ago
2004
Knowledge is one of the organization's most valuable assets. In the context of software development, knowledge management can be used to capture knowledge and experience gener...