2513 search results - page 300 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
110
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
94
Voted
PERVASIVE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
SAS
2009
Springer
16 years 1 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
109
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
105
click to vote
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...