Sciweavers

4636 search results - page 810 / 928
» Modelling and Validation with VipTool
Sort
View
ARCS
2004
Springer
14 years 25 days ago
A Note on Certificate Path Verification in Next Generation Mobile Communications
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
Matthias Enzmann, Elli Giessler, Michael Haisch, B...
BROADNETS
2004
IEEE
14 years 25 days ago
Diverse Routing for Shared Risk Resource Groups (SRRG) Failures in WDM Optical Networks
Failure resilience is one of the desired features of the Internet. Most of the traditional restoration architectures are based on single-failure assumption which is unrealistic. M...
Pallab Datta, Arun K. Somani
CAISE
2006
Springer
14 years 24 days ago
An Interactive, Asymmetric and Extensional Method for Matching Conceptual Hierarchies
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
Jérôme David, Fabrice Guillet, R&eacu...
DASFAA
2004
IEEE
156views Database» more  DASFAA 2004»
14 years 24 days ago
Automatic Generation of SQLX View Definitions from ORA-SS Views
Abstract. Although XML is the dominant standard for publishing and exchanging data for Internet-based business applications, data is typically stored in relational or object-relati...
Ya Bing Chen, Tok Wang Ling, Mong-Li Lee
CIA
2006
Springer
14 years 24 days ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham