347 search results - page 68 / 70 » From Separation Logic to First-Order Logic |
EWSA
2004
Springer
14 years 27 days ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
SIGADA
2004
Springer
14 years 25 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
WWW
2003
ACM
14 years 22 days ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
COMPSAC
2009
IEEE
14 years 6 days ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
HICSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Agreement is an important concept in group interaction, both for computermediated and face-to-face groups. This paper presents a measure of disagreement, D, for groups facing limi...