1486 search results - page 218 / 298 » A Logically Saturated Extension of |
170
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
182
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
147
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
202
click to vote
DSVIS
2001
Springer
15 years 10 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
168
click to vote
PACT
2001
Springer
15 years 10 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...