2836 search results - page 412 / 568 » Model Checking for Software Architectures |
176
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
172
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
183
click to vote
DSRT
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...
202
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
250
click to vote
WOA
2010
15 years 4 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...