24 search results - page 1 / 5 » A mechanized semantics for C object construction and destr... |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...
WONTO
2008
13 years 8 months ago
2008
This paper describes the development of a framework to build Virtual Communities of Practice in the web. It is part of a larger project named as DWeb (acronym for Dream Web). The p...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Vacation planning is a frequent laborious task which requires skilled interaction with a multitude of resources. This paper develops an end-to-end approach for constructing intra-...
CNSM
2010
13 years 2 months ago
2010
Network control and management techniques (e.g., dynamic path switching, on-demand bandwidth provisioning) rely on active measurements of end-to-end network status. These measureme...