3011 search results - page 121 / 603 » Generating XML Based Specifications of Information Systems |
ENTCS
2000
13 years 8 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...
ASM
2010
ASM
14 years 7 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
EDOC
2006
IEEE
14 years 3 months ago
2006
IEEE
The paper proposes an approach to content dissemination that exploits the structural properties of XML Document Object Model in order to provide efficient dissemination by at the...
DASFAA
2010
IEEE
13 years 7 months ago
2010
IEEE
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...