1270 search results - page 129 / 254 » IF Validation Environment Tutorial |
KBSE
1998
IEEE
14 years 3 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
ISCOPE
1998
Springer
14 years 3 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
ICDE
1993
IEEE
14 years 2 months ago
1993
IEEE
In order to obtain the performance required for nonstandard database environments, we need suitable storage structures for complex objects. I n this paper we use an hierarchical c...
MM
1994
ACM
14 years 2 months ago
1994
ACM
: One of the major obstacles facing designers of video conferencing systems is the problem of ameliorating the effects of congestion on interconnected packet-switched networks that...
HUC
2007
Springer
14 years 2 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...