Sciweavers

POPL
2012
ACM
12 years 6 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
TCS
2010
13 years 5 months ago
A comparison of semantic models for noninterference
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
Ron van der Meyden, Chenyi Zhang
TOIT
2008
115views more  TOIT 2008»
13 years 11 months ago
Resource space model, OWL and database: Mapping and integration
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
Hai Zhuge, Yunpeng Xing, Peng Shi
ENTCS
2008
84views more  ENTCS 2008»
13 years 11 months ago
Comparing Three Coordination Models: Reo, ARC, and RRD
Three models of coordination--Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)--are compared and contrasted according to a set of coordination features. Ma...
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
TREC
2003
14 years 15 days ago
Knowledge-Based Access to the Bio-Medical Literature, Ontologically-Grounded Experiments for the TREC 2003 Genomics Track
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
Richard Tong, John Quackenbush, Mark Snuffin
TAPSOFT
1991
Springer
14 years 2 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
RULES
1993
Springer
159views Database» more  RULES 1993»
14 years 3 months ago
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
Michael Doherty, Joan Peckham, Victor Fay Wolfe
FOSSACS
1998
Springer
14 years 3 months ago
Generalizing Domain Theory
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
Michael W. Mislove
POLICY
2005
Springer
14 years 4 months ago
Deriving Semantic Models from Privacy Policies
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
Travis D. Breaux, Annie I. Antón
SEMWEB
2007
Springer
14 years 5 months ago
Semantic Enterprise Technologies
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
Massimo Ruffolo, Luigi Guadagno, Inderbir Sidhu