2875 search results - page 404 / 575 » Model checking agentspeak |
103
Voted
LWA
2008
15 years 4 months ago
2008
Many sites are created by people who lack professional training in web design. We present `SiteGuide', a tool that helps amateur web designers to decide which information wil...
122
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
121
click to vote
CSREAPSC
2006
15 years 4 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
141
click to vote
IJIT
2004
15 years 4 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
106
click to vote
MMNS
2004
15 years 4 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...