100 search results - page 9 / 20 » Toward tool support for interactive synthesis |
DATAMINE
2002
13 years 10 months ago
2002
To satisfy potential customers of a Web site and to lead them to the goods offered by the site, one should support them in the course of navigation they have embarked on. This pape...
IEEESCC
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
SIGMOD
2006
ACM
14 years 11 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
ICSEA
2006
IEEE
14 years 4 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
ACMDIS
2004
ACM
14 years 4 months ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...