6608 search results - page 1000 / 1322 » On the Completeness of Model Checking |
167
click to vote
IDEAS
2005
IEEE
16 years 10 days ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
190
click to vote
IEEECIT
2005
IEEE
16 years 10 days ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
169
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
182
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
175
click to vote
GBRPR
2005
Springer
16 years 8 days ago
2005
Springer
This work discusses the issue of approximation in point set matching problems. In general, one may have two classes of approximations when tackling a matching problem: a representa...