SAC
2006
ACM
14 years 5 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
A fundamental problem in peer-to-peer networks is how to locate appropriate peers efficiently to answer a specific query request. This paper proposes a model in which semantically...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
SAC
2006
ACM
14 years 5 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
SAC
2006
ACM
14 years 5 months ago
2006
ACM
Documents are recommended by computer-based systems normally according to their prominence in the document reference network. Based on the requirements identified in a concrete u...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
SAC
2006
ACM
14 years 5 months ago
2006
ACM
