1805 search results - page 312 / 361 » Modelling SIGNAL in Interaction Categories |
TOG
2010
14 years 4 months ago
2010
2d animation is a traditional but fascinating domain that has recently regained popularity both in animated movies and video games. This paper introduces a method for automaticall...
101
click to vote
TOSEM
2010
14 years 4 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
Revelation games are bilateral bargaining games in which agents may choose to truthfully reveal their private information before engaging in multiple rounds of negotiation. They a...
AOSD
2012
ACM
13 years 5 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
SIGCOMM
2012
ACM
13 years 11 days ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...