327 search results - page 9 / 66 » Model Checking and Evidence Exploration |
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
ENTCS
2008
13 years 7 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
CISC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...
FMCAD
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
CANDC
2007
ACM
14 years 17 days ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...