Sciweavers

5326 search results - page 103 / 1066
» On what we can ensure
Sort
View
SIGPLAN
2008
15 years 6 months ago
Verified enforcement of stateful information release policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
Nikhil Swamy, Michael Hicks
SLP
1993
86views more  SLP 1993»
15 years 7 months ago
Declarative Programming in Prolog
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative int...
Krzysztof R. Apt
HICSS
2008
IEEE
99views Biometrics» more  HICSS 2008»
16 years 23 days ago
A Decision Analysis Framework for Emergency Notification
Notification is one of the major tasks for emergency responses. Quick and appropriate notification can save lives and significantly reduce damages. It is, however, challenging to ...
Zhengchuan Xu, Yufei Yuan, Shaobo Ji
PIMRC
2008
IEEE
16 years 21 days ago
Assessing link quality in IEEE 802.11 Wireless Networks: Which is the right metric?
—The accurate determination of the link quality is critical for ensuring that functionalities such as intelligent routing, load-balancing, power control and frequency selection o...
Aggelos Vlavianos, Lap Kong Law, Ioannis Broustis,...
SOCIALCOM
2010
15 years 4 months ago
Finding Overlapping Communities in Social Networks
Increasingly, methods to identify community structure in networks have been proposed which allow groups to overlap. These methods have taken a variety of forms, resulting in a lack...
Mark K. Goldberg, Stephen Kelley, Malik Magdon-Ism...