3429 search results - page 477 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
147
click to vote
ENTCS
2008
15 years 4 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
152
Voted
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
148
Voted
BDA
2001
15 years 5 months ago
2001
Community Web Portals (e.g., digital libraries, vertical aggregators, infomediaries) have become quite popular nowadays in supporting specific communities of interest on corporate...
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
112
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...