3429 search results - page 445 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
140
click to vote
GLOBAL
2003
Springer
15 years 9 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...
200
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...
129
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
294
click to vote
CIDR
2011
14 years 8 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
146
click to vote
WADT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...