3005 search results - page 382 / 601 » Logical Information Systems: from Taxonomies to Logics |
180
click to vote
PDCAT
2005
Springer
16 years 3 days ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
162
click to vote
SOFTVIS
2005
ACM
16 years 5 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
208
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
221
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
196
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...