1438 search results - page 68 / 288 » An Expressive Extension of TLC |
109
Voted
ICDIM
2007
IEEE
15 years 2 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
SAC
2002
ACM
15 years 10 days ago
2002
ACM
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
184
click to vote
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
Linguistic research and natural language processing employ large repositories of ordered trees. XML, a standard ordered tree model, and XPath, its associated language, are natural...
102
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
114
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...