695 search results - page 48 / 139 » Dynamic Software Architectures Verification using DynAlloy |
115
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
175
click to vote
ICWSM
2009
15 years 5 days ago
2009
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
138
Voted
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
: As scan compression replaces the traditional scan it is important to understand how it works with power. DFT MAX represents one of the two primary scan compression solutions used...
160
click to vote
ARCS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract: In this paper, we present an acceleration method for texture-based ray casting on the compute unified device architecture (CUDA) compatible graphics processing unit (GPU...
221
Voted
ICSE
2009
IEEE-ACM
15 years 5 days ago
2009
IEEE-ACM
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based...