Sciweavers

1548 search results - page 174 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
ER
2003
Springer
129views Database» more  ER 2003»
14 years 3 months ago
Extending Conceptual Models for Web Based Applications
Abstract. The next phase envisioned for the World Wide Web is automated ad-hoc interaction between intelligent agents, web services, databases and semantic web enabled applications...
Phillipa Oaks, Arthur H. M. ter Hofstede, David Ed...
MM
2009
ACM
199views Multimedia» more  MM 2009»
14 years 3 months ago
Consumer video retargeting: context assisted spatial-temporal grid optimization
Pervasive multimedia devices require accurate video retargeting, especially in connected consumer electronics platforms. In this paper, we present a context assisted spatialtempor...
Liang Shi, Jinqiao Wang, Lingyu Duan, Hanqing Lu
ESOP
2001
Springer
14 years 2 months ago
What Are Polymorphically-Typed Ambients?
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...
FASE
2001
Springer
14 years 2 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
FOSSACS
2001
Springer
14 years 2 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn