2407 search results - page 240 / 482 » A Tool for Abstraction in Model Checking |
220
click to vote
SIMULATION
1998
15 years 6 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
217
click to vote
SOFSEM
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
185
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
220
click to vote
FMCO
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
227
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...