376 search results - page 68 / 76 » A Controlled Language for the Specification of Contracts |
87
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
156
click to vote
PG
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
173
click to vote
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
110
Voted
JSSPP
1998
Springer
15 years 6 months ago
1998
Springer
Metacomputing systems are intended to support remote and/or concurrent use of geographically distributed computational resources. Resource management in such systems is complicate...
119
click to vote
IICAI
2007
15 years 3 months ago
2007
This paper presents a method for extracting purpose statements from clinical trial protocol summaries. Simple summarization technology based on regular expressions and natural lang...