405 search results - page 68 / 81 » Open Systems Formal Evaluation Process |
SIGMOD
1997
ACM
15 years 2 months ago
1997
ACM
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
114
click to vote
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
78
Voted
COORDINATION
2009
Springer
15 years 11 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
100
click to vote
TACS
1994
Springer
15 years 2 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
WEBNET
2001
14 years 11 months ago
2001
: New information and computing technologies offer cost efficient and effective learning opportunities for health care professionals. The Assisted Electronic Communication project ...