7049 search results - page 1346 / 1410 » Data Abstraction for CSP-OZ |
GW
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce some exploratory ideas and applications involving the gestural control of sonic textures. Three examples of how the gestural control of synthe...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
VRML
2004
ACM
14 years 3 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
ECWEB
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...