3119 search results - page 575 / 624 » Abstract Requirement Analysis in Multiagent System Design |
128
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...
125
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
141
Voted
USENIX
2007
15 years 5 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
132
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...
172
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...