3909 search results - page 637 / 782 » Extreme Model Checking |
199
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
176
click to vote
GMP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
157
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
183
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
194
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...