488 search results - page 75 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
116
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
114
click to vote
JKM
2007
15 years 3 months ago
2007
Purpose: To sharpen the concepts of tacit, implicit and explicit knowledge by linking them to findings from cognitive psychology and memory science and thus finding a possibility ...
121
click to vote
ICTAI
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
133
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Existing tools for multiple-sequence alignment focus on aligning protein sequence or protein-coding DNA sequence, and are often based on extensions to Needleman-Wunsch...
137
click to vote
AWIC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...