9503 search results - page 375 / 1901 » Authenticated System Calls |
187
click to vote
SRDS
1998
IEEE
15 years 12 months ago
1998
IEEE
The problem of handoffs in cellular networks is compounded in a low earth orbit (LEO) satellite-based cellular network due to the relative motion of the satellites with respect to ...
198
click to vote
TOOLS
1998
IEEE
15 years 12 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
195
click to vote
CGI
1997
IEEE
15 years 12 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
213
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
205
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...