2513 search results - page 300 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
177
click to vote
SEW
2006
IEEE
16 years 7 days 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...
145
click to vote
PERVASIVE
2005
Springer
15 years 11 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...
160
click to vote
SAS
2009
Springer
16 years 6 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...
161
click to vote
B
2007
Springer
16 years 12 days 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...
155
click to vote
ISOLA
2007
Springer
16 years 11 days 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...