Sciweavers

3091 search results - page 215 / 619
» The Microsoft Relational Engine
Sort
View
FSEN
2007
Springer
16 years 22 days ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
FATES
2004
Springer
15 years 12 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
FOSSACS
2004
Springer
15 years 12 months ago
Hypergraphs and Degrees of Parallelism: A Completeness Result
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
Antonio Bucciarelli, Benjamin Leperchey
CAISE
2003
Springer
15 years 11 months ago
Development of Embedded System for Storing and Retrieving XML data
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
Joonho Kwon, Dongseop Kwon, Hyoseop Shin, Sukho Le...
PCI
2001
Springer
15 years 11 months ago
Website Content Accessibility of the Cyprus Domain
Abstract. This paper extends previous studies that investigated the accessibility of different web sites of specific content, to an analysis of the whole web of a specific country ...
Panayiotis Zaphiris, Giorgos Zacharia