1205 search results - page 120 / 241 » From high-level component-based models to distributed implem... |
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
AMAST
2006
Springer
14 years 25 days ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
SPAA
2005
ACM
14 years 2 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
WOA
2003
13 years 10 months ago
2003
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...