501 search results - page 68 / 101 » Diagram Techniques for Confluence |
ENTCS
2006
15 years 1 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
JOT
2010
15 years 11 days ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
117
click to vote
ICTAI
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
146
click to vote
WER
2010
Springer
14 years 11 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
149
click to vote
HCI
2011
14 years 5 months ago
2011
The search for new simplified interaction techniques is mainly motivated by the improvements of the communication with interactive devices. In this paper, we present an interactiv...