2613 search results - page 135 / 523 » Proposal for Tools Supporting Component Based Programming |
157
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
144
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...
173
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
163
click to vote
ESWA
2007
15 years 5 months ago
2007
The credit card industry has been growing rapidly recently, and thus huge numbers of consumers’ credit data are collected by the credit department of the bank. The credit scorin...
153
Voted
MTA
2000
15 years 4 months ago
2000
AdvanceobjectorientedcomputingplatformsuchastheCommonObjectRequestBrokerArchitecture (CORBA) provides a conducive and standardized framework for the development of distributed appl...