8587 search results - page 88 / 1718 » Interactive dynamic abstraction |
DEEC
2006
IEEE
14 years 28 days ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
RIVF
2003
13 years 10 months ago
2003
Abstract— This paper presents our work on supporting flexible query evaluation over large distributed, heterogeneous, and autonomous sources. Flexibility means that the query ev...
TELSYS
2002
13 years 9 months ago
2002
Abstract. In this paper, we present a receiver-oriented, request/response protocol for the Web that is compatible with the dynamics of TCP's congestion control algorithm. The ...
HCI
2009
13 years 7 months ago
2009
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
CPP
2011
12 years 9 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...