3901 search results - page 298 / 781 » software 2008 |
143
click to vote
WSC
2008
15 years 9 months ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...
182
click to vote
CIBSE
2008
ACM
15 years 8 months ago
2008
ACM
Typical problems of a requirements document, regarding its contents and organization, involve deficient modularization where requirements artifacts may deal with too much informati...
171
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
163
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
197
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...