2836 search results - page 448 / 568 » Model Checking for Software Architectures |
363
click to vote
SACMAT
2011
ACM
14 years 9 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
166
click to vote
ISORC
2009
IEEE
16 years 29 days ago
2009
IEEE
There is increasing convergence between the ļ¬elds of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
167
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
148
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
165
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...