4502 search results - page 730 / 901 » Regular Model Checking |
172
Voted
TCAD
2010
14 years 11 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
141
click to vote
IJDST
2011
14 years 8 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
282
click to vote
BPM
2011
Springer
14 years 5 months ago
2011
Springer
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usu...
184
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
168
click to vote
ICTAI
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...