5639 search results - page 565 / 1128 » Timed Abstract Non-interference |
168
Voted
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes improved methods for XTR key representation and parameter generation (cf. [4]). If the field characteristic is properly chosen, the size of the XTR ...
147
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract: Managing services on the Internet is becoming more and more complex and time consuming for service providers since services are increasing both in number and complexity. ...
145
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The inclusion of additional modalities into the communicative behavior of virtual agents besides speech has moved into focus of human-computer interface researchers, as h...
157
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
156
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....