4890 search results - page 81 / 978 » From system specifications to component behavioral models |
ICSE
2003
IEEE-ACM
15 years 3 months ago
2003
IEEE-ACM
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
138
click to vote
PAMI
2007
14 years 9 months ago
2007
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
FTRTFT
2000
Springer
15 years 1 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
106
click to vote
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
The rapidly increasing number of XML-related applications indicates a growing need for efficient, dynamic, and native XML support in database management systems (XDBMS). So far, bo...