9210 search results - page 372 / 1842 » Analyzing Real-Time Systems |
160
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
129
click to vote
CIMCA
2005
IEEE
16 years 12 days ago
2005
IEEE
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
211
click to vote
AWCC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Much of the information on the web is indeed dynamic content provided through linkups with databases. However, due to heterogeneity of databases, it is difficult to provi...
164
Voted
CC
2004
Springer
16 years 5 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
175
Voted
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we provide an analysis of the impacts of some reputation parameters that an agent-based Web service holds while being active in the environment. To this end, we depl...