2153 search results - page 206 / 431 » From Requirements Models to Formal Specifications in B |
215
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
160
click to vote
WISE
2005
Springer
16 years 2 days ago
2005
Springer
By means of portals, a company can give each person the information that responds to their specific needs. Nowadays, portals tend to be constructed by means of portlets. So, if we...
186
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
172
click to vote
TASLP
2010
15 years 4 months ago
2010
—We consider representing a short temporal fragment of musical audio as a dynamic texture, a model of both the timbral and rhythmical qualities of sound, two of the important asp...
184
click to vote
SERP
2003
15 years 7 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...