746 search results - page 110 / 150 » Formal Analysis of UML-Based Designs |
116
click to vote
CLEIEJ
2008
15 years 1 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
121
click to vote
IJWIN
2006
15 years 1 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
TIT
2008
15 years 1 months ago
2008
Error correction procedures are considered which are designed specifically for the amplitude damping channel. Amplitude damping errors are analyzed in the stabilizer formalism. Thi...
129
Voted
TCAD
2002
15 years 1 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
114
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...