12981 search results - page 2217 / 2597 » Model Checking (Abstract) |
191
click to vote
ISW
2009
Springer
16 years 1 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...
172
click to vote
IWSOS
2009
Springer
16 years 1 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 ā...
231
click to vote
LOCA
2009
Springer
16 years 1 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...
180
click to vote
LPNMR
2009
Springer
16 years 1 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...
178
click to vote
MFCS
2009
Springer
16 years 1 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...