1648 search results - page 192 / 330 » Structuring namespace descriptions |
147
click to vote
EDO
2006
Springer
15 years 8 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
150
click to vote
RTA
2000
Springer
15 years 8 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
139
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
121
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
142
click to vote
AAAI
2007
15 years 6 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...