3429 search results - page 225 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
242
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
155
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
130
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
124
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
130
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...