5451 search results - page 624 / 1091 » Typed Operational Semantics |
155
click to vote
ECMAST
1997
Springer
15 years 11 months ago
1997
Springer
In the framework of the European ACTS programme, the AMUSE project aims to develop, specify, implement and trial advanced multimedia services using an end-to-end ATM infrastructure...
156
click to vote
VTS
1996
IEEE
15 years 11 months ago
1996
IEEE
Some weak static CMOS chips can be detected by testing them with a very low supply voltage -- between 2 and 2.5 times the threshold voltage Vt of the transistors. A weak chip is o...
167
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...
154
Voted
IMPERIAL
1994
15 years 11 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
179
click to vote
HCI
2007
15 years 8 months ago
2007
Teams performing physical tasks must often be distributed in space, and are often organized hierarchically. This means that systems to support collaboration between members must ac...