2558 search results - page 319 / 512 » Model Composition Contracts |
149
click to vote
ICIA
2007
15 years 7 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
141
click to vote
CEAS
2008
Springer
15 years 6 months ago
2008
Springer
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
138
click to vote
OMER
2001
15 years 6 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
121
click to vote
AES
2007
Springer
15 years 4 months ago
2007
Springer
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
132
click to vote
JAR
2008
15 years 4 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...