5255 search results - page 487 / 1051 » Formal Methods for Privacy |
250
click to vote
FORTEST
2008
15 years 8 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
188
click to vote
AIPS
2006
15 years 8 months ago
2006
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that canno...
214
click to vote
FMOODS
2006
15 years 8 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
185
click to vote
FMICS
2010
Springer
15 years 8 months ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...
180
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...