2525 search results - page 367 / 505 » A Framework for Semantic Gossiping |
138
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
146
click to vote
AMAST
2006
Springer
15 years 9 months 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...
162
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
158
click to vote
DEXAW
2004
IEEE
15 years 9 months ago
2004
IEEE
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...
190
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...