2002 search results - page 280 / 401 » Interactive technical illustration |
84
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
91
Voted
WEBI
2004
Springer
15 years 6 months ago
2004
Springer
In most Internet applications, there is little control on how to protect the data content once it reaches the client. Implementing centralized control for data content delivered t...
110
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
105
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...