6201 search results - page 883 / 1241 » Implementation of Axiomatic Language |
179
click to vote
BNCOD
2007
15 years 8 months ago
2007
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
176
click to vote
CIDR
2007
15 years 8 months ago
2007
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...
166
Voted
CLIMA
2007
15 years 8 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
154
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
177
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...