117 search results - page 18 / 24 » Concept Unification of Terms in Different Languages for IR |
GRID
2003
Springer
15 years 4 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
96
Voted
DAGSTUHL
2007
15 years 18 days ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
SIGCSE
2004
ACM
15 years 4 months ago
2004
ACM
Ê Among the many ways to focus CS1/CS2 content, two have been published that emphasize concepts of component-based software engineering. Courses based on these two instances of a ...
132
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...