2368 search results - page 321 / 474 » Model of conceptual design of complex electronic systems |
186
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
193
click to vote
SOUPS
2006
ACM
16 years 15 days ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
188
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
159
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
159
click to vote
EDOC
2007
IEEE
16 years 27 days ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...