1791 search results - page 280 / 359 » Semantics and Complexity of SPARQL |
136
click to vote
ISMDA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
176
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
114
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
129
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
128
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...