2836 search results - page 335 / 568 » Model Checking for Software Architectures |
164
click to vote
HICSS
2008
IEEE
16 years 21 days ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
166
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
161
click to vote
CC
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an off-chip partitioned memory architecture having multiple memory banks ...
156
Voted
PPOPP
2006
ACM
16 years 6 days ago
2006
ACM
Traditional collective communication algorithms are designed with the assumption that a node can communicate with only one other node at a time. On new parallel architectures such...
178
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...