1615 search results - page 69 / 323 » Distributed Forward Checking |
212
Voted
UML
2004
Springer
16 years 15 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
210
Voted
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
221
click to vote
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 8 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
197
Voted
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
213
Voted
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...