2273 search results - page 222 / 455 » On the Expressiveness and Complexity of ATL |
154
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
The paper mainly discusses the DRM-enabled learning object model. Firstly, it analyses the art-of-status of Intellectual Property Rights in e-learning. Secondly, according to appl...
157
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
162
click to vote
WISE
2005
Springer
16 years 4 days ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
195
click to vote
ACMICEC
2005
ACM
16 years 4 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
208
click to vote
CMMR
2005
Springer
16 years 3 days ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...