2934 search results - page 239 / 587 » Universality in Multi-Agent Systems |
164
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
301
click to vote
FDL
2011
IEEE
14 years 6 months ago
2011
IEEE
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
196
click to vote
ACSW
2007
15 years 8 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...
189
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— The integration of heterogeneous data sources is one of the main challenges within the area of data engineering. Due to the absence of an independent and universal benchmark fo...
146
click to vote
CSCWD
2005
Springer
16 years 3 days ago
2005
Springer
More and more people are interested in Internet-based e-learning. Internet-based e-learning has become one very important arena of modern education system. This paper is based our ...