2414 search results - page 228 / 483 » Reasoning Support for OWL-E |
188
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Today’s mobile, wireless, and ad-hoc communications often exhibit extreme characteristics challenging assumptions underlying the traditional way of end-toend communic...
139
click to vote
ISCC
2005
IEEE
16 years 8 days ago
2005
IEEE
It is expected that IPv6 multihomed sites will obtain as many global prefixes as direct providers they have, so Traffic Engineering techniques currently used in IPv4 multihomed si...
160
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
183
click to vote
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
181
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...