4890 search results - page 615 / 978 » From system specifications to component behavioral models |
201
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
158
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
161
click to vote
JAR
2008
15 years 6 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
143
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
138
click to vote
WACV
2005
IEEE
16 years 11 days ago
2005
IEEE
Adaptive background modeling/subtraction techniques are popular, in particular, because they are able to cope with background variations that are due to lighting variations. Unfor...