7715 search results - page 914 / 1543 » Visual Rules Modeling |
217
Voted
TSE
2008
15 years 7 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
184
click to vote
BC
2004
15 years 7 months ago
2004
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...
251
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
177
click to vote
COMPLEX
2009
Springer
16 years 2 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
166
click to vote
ACMICEC
2004
ACM
16 years 25 days ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...