10568 search results - page 159 / 2114 » Computer Intelligence and Formalization |
141
Voted
WOA
2010
15 years 14 days ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
108
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
113
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
130
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
109
click to vote
CLUSTER
2008
IEEE
15 years 9 months ago
2008
IEEE
—The industry is now in agreement that the future of architecture design lies in multiple cores. As a consequence, all computer systems today, from embedded devices to petascale ...