5096 search results - page 594 / 1020 » Associations as a Language Construct |
181
click to vote
ICDT
2003
ACM
16 years 2 days ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
166
click to vote
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
176
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...
258
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
184
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...