5451 search results - page 625 / 1091 » Typed Operational Semantics |
165
click to vote
BSDCON
2003
15 years 8 months ago
2003
The ever increasing mobility of computers has made protection of data on digital storage media an important requirement in a number of applications and situations. GBDE is a stron...
166
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
Flexible querying aims at expressing preferences inside queries instead of strict requirements. We consider ordinary relational databases and flexible querying calling on fuzzy se...
183
click to vote
NIPS
2004
15 years 8 months ago
2004
Computation without stable states is a computing paradigm different from Turing's and has been demonstrated for various types of simulated neural networks. This publication t...
178
click to vote
PDPTA
2004
15 years 8 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
141
Voted
WSC
1998
15 years 8 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...