4360 search results - page 734 / 872 » Socio-technical systems: From design methods to systems engi... |
260
click to vote
ICDE
1997
IEEE
16 years 7 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...
171
click to vote
SECON
2007
IEEE
16 years 23 days 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...
156
click to vote
PDCAT
2007
Springer
16 years 18 days 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 ...
140
click to vote
SEW
2006
IEEE
16 years 15 days 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...
165
click to vote
HT
2006
ACM
16 years 14 days 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...