930 search results - page 156 / 186 » Integrating dialog modelling and application development |
ICWE
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
CHI
2000
ACM
13 years 12 months ago
2000
ACM
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
COSIT
1997
Springer
13 years 11 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...