183 search results - page 6 / 37 » Learning Component Interfaces with May and Must Abstractions |
ENTCS
2006
13 years 7 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
CAINE
2007
13 years 9 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
CBSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Software components are deployed into an execution environment before runtime. The execution environment influences the runtime execution of a component. Therefore, it i...
IPPS
2000
IEEE
14 years 4 days ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...