Sciweavers

3268 search results - page 386 / 654
» Structured Service Composition
Sort
View
ER
2007
Springer
127views Database» more  ER 2007»
16 years 23 days ago
Generic Schema Mappings
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
David Kensche, Christoph Quix, Yong Li, Matthias J...
TGC
2005
Springer
16 years 2 days ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
APN
2004
Springer
16 years 11 hour ago
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
João Paulo Barros, Luís Gomes
158
Voted
CCS
2001
ACM
15 years 11 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel
CHI
1994
ACM
15 years 10 months ago
Visual information seeking: tight coupling of dynamic query filters with starfield displays
This paper offers new principles for visual information seeking (VIS). A key concept is to support browsing, which is distinguished from familiar query composition and information...
Christopher Ahlberg, Ben Shneiderman