3922 search results - page 301 / 785 » The IA-64 Architecture at Work |
182
Voted
GI
2001
Springer
15 years 11 months ago
2001
Springer
Security mechanisms such as firewalls commonly deployed throughout the Internet present serious obstacles to basic usage of Mobile IP. In this paper we describe how IP security me...
183
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
197
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
184
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
148
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...