13099 search results - page 191 / 2620 » Cooperative method development |
165
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
153
click to vote
SYRCODIS
2007
15 years 5 months ago
2007
Effective querying and managing of temporal databases represent an unanswered challenge to the modern research community. In this paper, we introduce a temporal preprocessor that ...
154
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Micro- and macroarray technologies help acquire thousands of gene expression patterns covering important biological processes during plant ontogeny. Particularly, fait...
120
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
171
click to vote
SIGIR
1993
ACM
15 years 8 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...