1146 search results - page 14 / 230 » Applications of the TAMPR Transformation System |
TABLEAUX
2005
Springer
15 years 2 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
87
Voted
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
MBUI
2004
14 years 10 months ago
2004
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
CW
2005
IEEE
15 years 3 months ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
: This paper shows how technologies for Web data extraction, syndication and integration allow for new applications and services in the Business Intelligence and the Semantic Web d...