8781 search results - page 215 / 1757 » Enterprise Model Integration |
221
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
150
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Tracking multiple people in a dynamic environment is important in many applications. Recent research in this area has focused either on geometric analysis or appearance models. In...
172
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
151
click to vote
MJ
2006
15 years 6 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
178
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...