2944 search results - page 337 / 589 » On Well Quasi-orders on Languages |
177
click to vote
BTW
2005
Springer
16 years 5 days ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...
169
click to vote
BTW
2005
Springer
16 years 5 days ago
2005
Springer
: XML has emerged as the industry standard for representing and exchanging data and is already predominant in several applications today. Business, analytic and structered data wil...
194
Voted
CCS
2005
ACM
16 years 5 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
182
click to vote
CONCUR
2004
Springer
16 years 1 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
161
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...