Sciweavers

153 search results - page 14 / 31
» Toward a Dynamic Logic of Questions
Sort
View
ER
2004
Springer
79views Database» more  ER 2004»
15 years 8 months ago
Towards the Managment of Time in Data-Intensive Web Sites
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
Paolo Atzeni, Pierluigi Del Nostro
DSOM
2006
Springer
15 years 7 months ago
Towards Distributed Hash Tables (De)Composition in Ambient Networks
When different wireless networks come in close proximity there is often a need for them to logically combine, or compose. We focus on a known research problem particularly in Ambie...
Lawrence Cheng, Roel Ocampo, Kerry Jean, Alex Gali...
189
Voted
CSAC
2006
15 years 4 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
136
Voted
CASES
2009
ACM
15 years 10 months ago
Towards scalable reliability frameworks for error prone CMPs
As technology scales and the energy of computation continually approaches thermal equilibrium [1,2], parameter variations and noise levels will lead to larger error rates at vario...
Joseph Sloan, Rakesh Kumar
137
Voted
JOT
2010
97views more  JOT 2010»
15 years 1 months ago
Towards a theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
Bertrand Meyer