392 search results - page 30 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
116
Voted
ENTCS
2006
15 years 7 days ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
150
click to vote
CONEXT
2009
ACM
15 years 1 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
122
Voted
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
103
Voted
NJC
2006
15 years 5 days ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
108
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...