10733 search results - page 749 / 2147 » Distributed XML design |
181
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
151
Voted
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
: Maximizing revenue in the presence of perfectly informed players is a well known goal in mechanism design. Yet, all current mechanisms for this goal are vulnerable to equilibrium...
174
click to vote
HPCN
1995
Springer
15 years 11 months ago
1995
Springer
We present a tool for the simulation and analysis of materials properties. This tool comprises simulation methods for models of materials (metal and polymer materials) as well as ...
177
click to vote
ACL
2007
15 years 9 months ago
2007
We present the design and evaluation of a translator’s amenuensis that uses comparable corpora to propose and rank nonliteral solutions to the translation of expressions from th...
181
click to vote
CL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...