3831 search results - page 370 / 767 » Dynamic Context Logic |
199
click to vote
MIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
175
click to vote
MICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe Dead Value Information (DVI) and introduce three new optimizations which exploit it. DVI provides assertions that certain register values are dead, meaning they will n...
152
click to vote
ECIS
2004
15 years 8 months ago
2004
The context of information security is changing dramatically. Networking technologies have driven the global expansion of electronic commerce. Electronic commerce is increasingly ...
168
click to vote
TPDS
2010
15 years 5 months ago
2010
The proliferation of wireless and mobile devices has fostered the demand of context aware applications. Location is one of the most significant contexts. Multilateration, as a bas...
154
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...