14190 search results - page 2486 / 2838 » Abstractions for hybrid systems |
194
click to vote
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
165
click to vote
ECHT
1994
15 years 11 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
211
click to vote
ESORICS
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
182
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
209
click to vote
PLILP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...