2550 search results - page 98 / 510 » Architecture as Language |
127
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
102
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
118
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
152
click to vote
FORTE
2009
14 years 11 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...