16725 search results - page 2810 / 3345 » Engineering Software Correctness |
175
click to vote
UIST
2003
ACM
16 years 6 days ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
214
click to vote
AMKM
2003
Springer
16 years 6 days ago
2003
Springer
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
171
click to vote
AOSE
2003
Springer
16 years 6 days ago
2003
Springer
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
196
click to vote
ASP
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
163
click to vote
CAEPIA
2003
Springer
16 years 5 days ago
2003
Springer
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...