5630 search results - page 301 / 1126 » Computability in Specification |
141
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents the alternatives available to support threadprivate data in OpenMP and evaluates them. We show how current compilation systems rely on custom techniques for im...
153
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
169
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
167
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...
197
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we address the issue of extracting contour of the object with a specific shape. A hierarchical graphical model is proposed to represent shape variations. A complex ...