1796 search results - page 327 / 360 » An Approach to Compositional Model Checking |
JWSR
2006
13 years 8 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
ENTCS
2002
13 years 7 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
NRHM
2000
13 years 7 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
FMCAD
2006
Springer
13 years 11 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...
CGF
2006
13 years 8 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...