Sciweavers

7853 search results - page 1271 / 1571
» Learning from Each Other
Sort
View
KBSE
1998
IEEE
15 years 9 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
IDMS
2000
Springer
131views Multimedia» more  IDMS 2000»
15 years 9 months ago
Spatially Aware Local Communication in the RAUM System
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
Felix Hupfeld, Michael Beigl
PKC
2000
Springer
120views Cryptology» more  PKC 2000»
15 years 9 months ago
Optimally Efficient Accountable Time-Stamping
Abstract. Efficient secure time-stamping schemes employ a 2-level approach in which the time-stamping service operates in rounds. We say that a time-stamping service is accountable...
Ahto Buldas, Helger Lipmaa, Berry Schoenmakers
UMC
2000
15 years 9 months ago
In-vitro Transcriptional Circuits
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
Erik Winfree
VLDB
1995
ACM
59views Database» more  VLDB 1995»
15 years 9 months ago
Towards a Cooperative Transaction Model - The Cooperative Activity Model
With the emergence of cooperative applications it turned out that traditional transaction concepts are not suitable for these scenarios. Isolation of transactions, as guaranteed b...
Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, J...
« Prev « First page 1271 / 1571 Last » Next »