4894 search results - page 238 / 979 » Dynamic Abstraction Planning |
222
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
193
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...
291
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
137
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Dynamic OFDMA systems provide a significant performance gain compared to static OFDM approaches. In reality this gain is reduced by an overhead due to signaling. Previ...
139
click to vote
BPM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...