4460 search results - page 446 / 892 » Formal methods for interactive systems |
202
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
177
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
207
Voted
FMCO
2004
Springer
16 years 6 days ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
156
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...
165
Voted
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...