41938 search results - page 354 / 8388 » Complex Systems Modeling |
155
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
169
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
143
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
181
click to vote
MASCOTS
2003
15 years 8 months ago
2003
All enterprise storage systems depend on disk arrays to satisfy their capacity, reliability, and availability requirements. Performance models of disk arrays are useful in underst...
118
click to vote
ACL
2010
15 years 4 months ago
2010
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...