Sciweavers

7597 search results - page 1229 / 1520
» On the design of metric relations
Sort
View
SPW
2000
Springer
15 years 10 months ago
Users and Trust in Cyberspace
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
Pekka Nikander, Kristiina Karvonen
TES
2000
Springer
15 years 10 months ago
Active Rules for XML: A New Paradigm for E-Services
XML is rapidly becoming one of the most widely adopted technologies for information exchange and representation. As the use of XML becomes more widespread, we foresee the developme...
Angela Bonifati, Stefano Ceri, Stefano Paraboschi
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
15 years 10 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
186
Voted
ICDCS
1995
IEEE
15 years 10 months ago
I-TCP: Indirect TCP for Mobile Hosts
— IP-based solutions to accommodate mobile hosts within existing internetworks do not address the distinctive features of wireless mobile computing. IP-based transport protocols ...
Ajay V. Bakre, B. R. Badrinath
NGITS
1995
Springer
15 years 10 months ago
A History-Oriented Temporal SQL Extension
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
Fabio Grandi, Maria Rita Scalas, Paolo Tiberio
« Prev « First page 1229 / 1520 Last » Next »