12981 search results - page 2217 / 2597 » Model Checking (Abstract) |
151
Voted
ISW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. While code obfuscation attempts to hide certain characteristics of a program independently of an application, white-box cryptography (WBC) speciļ¬cally focuses on softwa...
140
click to vote
IWSOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ā...
188
click to vote
LOCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
149
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
144
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an Ļregular speciļ¬cation requires the solution of a graph game. Such games have been extended in two natural ways. F...