2409 search results - page 240 / 482 » Logical systems for structured specifications |
164
Voted
IANDC
2011
14 years 11 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
139
click to vote
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
136
Voted
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
143
Voted
VVEIS
2008
15 years 6 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
106
click to vote
MOC
2002
15 years 4 months ago
2002
We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structur...