5216 search results - page 663 / 1044 » Planning as Model Checking |
151
click to vote
LWA
2008
15 years 8 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...
175
click to vote
DAGSTUHL
2004
15 years 8 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...
199
click to vote
IJIT
2004
15 years 8 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...
148
click to vote
MMNS
2004
15 years 8 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...
170
click to vote
FORTE
1997
15 years 8 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...