Sciweavers

6583 search results - page 476 / 1317
» Semantic Analysis Patterns
Sort
View
ICWL
2007
Springer
16 years 1 months ago
Language-Driven Development of Web-Based Learning Applications
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
José Luis Sierra, Baltasar Fernández...
SOCO
2007
Springer
16 years 1 months ago
Composite Connectors for Composing Software Components
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Vel...
ISCA
1990
IEEE
186views Hardware» more  ISCA 1990»
15 years 11 months ago
Adaptive Software Cache Management for Distributed Shared Memory Architectures
An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...
John K. Bennett, John B. Carter, Willy Zwaenepoel
APN
2006
Springer
15 years 10 months ago
Non-sequential Behaviour of Dynamic Nets
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
Roberto Bruni, Hernán C. Melgratti
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li