Sciweavers

653 search results - page 74 / 131
» ASP: from Application Development to Syntax Extensions
Sort
View
131
Voted
CSCW
2002
ACM
15 years 3 months ago
Sharing and building digital group histories
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
Chia Shen, Neal Lesh, Frédéric Verni...
271
Voted
POPL
2001
ACM
16 years 4 months ago
Mobile values, new names, and secure communication
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
Cédric Fournet, Martín Abadi
IJCIS
2006
161views more  IJCIS 2006»
15 years 4 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
PVLDB
2008
108views more  PVLDB 2008»
15 years 3 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
122
Voted
IFIP
1998
Springer
15 years 8 months ago
On the architecture of software component systems
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
M. Franz