985 search results - page 150 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
158
click to vote
ICNP
2000
IEEE
15 years 8 months ago
2000
IEEE
Images account for a significant and growing fraction of Web downloads. The traditional approach to transporting images uses TCP, which provides a generic reliable, in-order eam ...
124
click to vote
IJCAI
1989
15 years 5 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
156
click to vote
CACM
2002
15 years 3 months ago
2002
Abstract. We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shoppin...
148
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
ISPW
1991
IEEE
15 years 7 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...