432 search results - page 11 / 87 » A Formal Reuse-Based Approach for Interactively Designing Or... |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
ICN
2009
Springer
14 years 3 months ago
2009
Springer
Using internet for media-based real-time collaboration has become widespread activity. In this paper, we present a framework called CoUniverse, designed for building realtime user...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
FM
2009
Springer
14 years 3 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...