990 search results - page 166 / 198 » A Static Analysis Technique for Graph Transformation Systems |
STACS
1997
Springer
13 years 12 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
COOPIS
1996
IEEE
13 years 12 months ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
ESANN
2000
13 years 9 months ago
2000
In this paper we investigate the performance of a Computer Aided Diagnosis (CAD) system for the detection of clustered microcalcifications in mammograms. Our detection algorithm co...
IJWET
2008
13 years 6 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
BIRTHDAY
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...