3771 search results - page 463 / 755 » Subobject Transformation Systems |
122
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
This paper is motivated by a need of practical asynchronous network systems, i.e., a wait-free distributed mutual exclusion algorithm (WDME). The WDME algorithm is very appealing w...
131
click to vote
VL
1995
IEEE
15 years 8 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
161
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
130
click to vote
CASCON
2007
15 years 6 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
151
click to vote
EMNLP
2007
15 years 6 months ago
2007
Syntactic reordering approaches are an effective method for handling word-order differences between source and target languages in statistical machine translation (SMT) systems. T...