3718 search results - page 106 / 744 » IMPS: System Description |
122
click to vote
ANTS
2006
Springer
15 years 8 months ago
2006
Springer
This paper suggests a new building block for cryptographic protocols and gives two instantiations of it. The concept is to generate two descriptions of the same group: a public des...
143
click to vote
JISE
2010
14 years 11 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
260
click to vote
DLOG
2011
14 years 7 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
120
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
139
click to vote
DLOG
2001
15 years 5 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...