585 search results - page 36 / 117 » Structured Formal Development in Isabelle |
SAC
2006
ACM
15 years 5 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
IFM
1999
Springer
15 years 4 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
203
click to vote
CP
2009
Springer
16 years 13 days ago
2009
Springer
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
111
click to vote
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
113
click to vote
COMMA
2010
14 years 6 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...