2273 search results - page 316 / 455 » On the Expressiveness and Complexity of ATL |
108
click to vote
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
SPIRE
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a generalization of the notion of longest repeats with a block of k don’t care symbols introduced by [8] (for k fixed) to longest motifs composed of three pa...
UIALL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
UML
2004
Springer
15 years 3 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
68
Voted
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
There exists a very diverse range of views and perceptions about KM and a need to appreciate these issues and concerns among different communities of knowledge workers. Our resear...