4418 search results - page 172 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
151
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
— SPICE aims to understand the vital process of translocation of biomolecules across protein pores by computing the free energy profile of the translocating biomolecule along th...
131
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
128
click to vote
SPIRE
2005
Springer
15 years 10 months ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...
171
click to vote
AOSE
2001
Springer
15 years 9 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
153
click to vote
JUCS
2000
15 years 4 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...