7121 search results - page 1325 / 1425 » Functions as Session-Typed Processes |
116
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
139
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
138
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and veriļ¬cation methodologies that can cope with three major sources o...
138
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Virtual reality techniques particularly in the ļ¬eld of CFD (computational ļ¬uid dynamics) are of growing importance due to their ability to oļ¬er comfortable means to interact...
125
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to ālock downā individual usersā desktop machines in corporate comp...