3619 search results - page 612 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
130
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
151
click to vote
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
131
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
196
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
158
Voted
PPOPP
1991
ACM
15 years 7 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...