4360 search results - page 734 / 872 » Socio-technical systems: From design methods to systems engi... |
179
Voted
ICDE
1997
IEEE
16 years 2 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
106
click to vote
SECON
2007
IEEE
15 years 7 months ago
2007
IEEE
— Statistical characterization of in-car wireless communication channels has recently gained significance, mainly due to the possibility of deploying a wireless sensor network i...
94
Voted
PDCAT
2007
Springer
15 years 7 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
107
Voted
HT
2006
ACM
15 years 6 months ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...