3169 search results - page 503 / 634 » A General Framework for Large Scale Systems Development |
157
click to vote
CANDC
2004
ACM
15 years 4 months ago
2004
ACM
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...
133
click to vote
JAIR
2000
15 years 4 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
126
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Web service may be unable to interact with each other because of incompatibilities between their interfaces. In this paper, we present an event driven approach which aims at adapt...
138
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
120
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...