178 search results - page 11 / 36 » Foundations of a Multi-Paradigm Modelling Tool |
ENTCS
2006
15 years 11 days ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
ENTCS
2007
15 years 9 days ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
92
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
107
Voted
EUSFLAT
2009
14 years 10 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
ICWE
2010
Springer
14 years 11 months ago
2010
Springer
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...