Results 1 - 10 of 3,347

Resource Description Framework (RDF) Model and Syntax Specification

by Ora Lassila, Ralph R. Swick, World Wide, Web Consortium , 1998
"... This document is a revision of the public working draft dated 1998-08-19 incorporating suggestions received in review comments and further deliberations of the W3C RDF Model and Syntax Working Group. With the publication of this draft, the RDF Model and Syntax Specification enters "last call.&q ..."
Abstract - Cited by 926 (6 self) - Add to MetaCart
This document is a revision of the public working draft dated 1998-08-19 incorporating suggestions received in review comments and further deliberations of the W3C RDF Model and Syntax Working Group. With the publication of this draft, the RDF Model and Syntax Specification enters "last call

Web Modeling Language (WebML): a modeling language for designing Web sites

by Stefano Ceri, Piero Fraternali, Aldo Bongio , 2000
"... Designing and maintaining Web applications is one of the major challenges for the software industry of the year 2000. In this paper we present Web Modeling Language (WebML), a notation for specifying complex Web sites at the conceptual level. WebML enables the high-level description of a Web site un ..."
Abstract - Cited by 426 (15 self) - Add to MetaCart
-to-one content delivery (personalization model). All the concepts of WebML are associated with a graphic notation and a textual XML syntax. WebML specifications are independent of both the client-side language used for delivering the application to users, and of the server-side platform used to bind data

Model-Checking in Dense Real-time

by Rajeev Alur, Costas Courcoubetis, David Dill - INFORMATION AND COMPUTATION , 1993
"... Model-checking is a method of verifying concurrent systems in which a state-transition graph model of the system behavior is compared with a temporal logic formula. This paper extends model-checking for the branching-time logic CTL to the analysis of real-time systems, whose correctness depends on t ..."
Abstract - Cited by 327 (7 self) - Add to MetaCart
on the magnitudes of the timing delays. For specifications, we extend the syntax of CTL to allow quantitative temporal operators such as 93!5 , meaning "possibly within 5 time units." The formulas of the resulting logic, Timed CTL (TCTL), are interpreted over continuous computation trees, trees in which

Syntax

by unknown authors
"... The GEE poisson estimates the same model as the standard poisson regression (appropriate when your dependent variable represents the number of independent events that occur during a fixed period of time). Unlike in poisson regression, GEE poisson allows for dependence within clusters, such as in lon ..."
Abstract - Add to MetaCart
” estimator even if the “working ” correlation matrix is incorrectly specified. If the “working ” correlation matrix is correctly specified, GEE models will give more efficient estimates of the parameters. GEE models measure population-averaged effects as opposed to cluster-specific effects (See Zorn

Syntax

by unknown authors
"... functioning ” or “interpersonal comparability ” in ordinal survey responses. Given a selfassessment question (such as, “How healthy are you? Excellent, good, fair, or poor.”), different respondents may interpret the response categories in different ways, such that excellent health to one individual ..."
Abstract - Add to MetaCart
a parametric specification to predict the thresholds associated with an individual. The self-assessment and vignette questions may be taken from different surveys, so long as both surveys include the same explanatory variable questions to predict the thresholds. For ordinal data (without

Syntax

by unknown authors
"... A study investigated the extent to which English compound nouns are problematic for learners of English as a second language and identifies some causes of this comprehension difficulty. Subjects were 34 university students, of widely varying language backgrounds, in courses in English for academic p ..."
Abstract - Add to MetaCart
their idiomatic and syntactic opacity, in the absence of culture-specific pragmatic knowledge, constrains the identification of deleted elements. However, when the learner has sufficient exposure to the language, these difficulties are overcome readily. There is also evidence that learners use figurative

The specification of visual language syntax

by Eric J Golin'] , Steven P Reiss - J. Vis. Lang. Comput , 1990
"... Visual programming languages use pictures as programs. One approach to building a visual programming environment is to parameterlze a generic environment with a language specification. We describe a mechanism for specifying visual languages that can be used as the basis of a language-independent vi ..."
Abstract - Cited by 51 (0 self) - Add to MetaCart
languages. For example, visual languages have been implemented for functional programming Part of the reason for this focus is the lack of formal models for specifying visual language syntax and tools for utilizing those specifications. For traditional textual programming languages, formal models

Ontolingua: A Mechanism to Support Portable Ontologies

by Thomas R. Gruber , 1992
"... An ontology is a set of definitions of content-specific knowledge representation primitives: classes, relations, functions, and object constants. Ontolingua is mechanism for writing ontologies in a canonical format, such that they can be easily translated into a variety of representation and reasoni ..."
Abstract - Cited by 245 (5 self) - Add to MetaCart
An ontology is a set of definitions of content-specific knowledge representation primitives: classes, relations, functions, and object constants. Ontolingua is mechanism for writing ontologies in a canonical format, such that they can be easily translated into a variety of representation

A generic process algebra

by J. C. M. Baeten, D. A. Van Beek, J. E. Rooda - Proc. of the Workshop Essays on Algebraic Process Calculi (APC 25), volume 162 of Electr. Notes Theor. Comput. Sci , 2006
"... Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete-event systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebra ..."
Abstract - Cited by 253 (22 self) - Add to MetaCart
algebras. A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with their environment, and for any dynamic system in general. As the vehicle of our exposition, we use the hybrid process algebra χ (Chi). The syntax and semantics

The Syntax and Semantics of µCRL

by Jan Friso Groote
"... A simple specification language based on CRL (Common Representation Language) and therefore called µCRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective uCRL has be ..."
Abstract - Cited by 99 (16 self) - Add to MetaCart
A simple specification language based on CRL (Common Representation Language) and therefore called µCRL (micro CRL) is proposed. It has been developed to study processes with data. So the language contains only basic constructs with an easy semantics. To obtain executability, effective uCRL has
Results 1 - 10 of 3,347