1407 search results - page 34 / 282 » Using Use Cases in Executable Z |
134
click to vote
ACL
1992
15 years 7 months ago
1992
This paper presents an analysis of purpose clauses in the context of instruction understanding. Such analysis shows that goals affect the interpretation and / or execution of acti...
179
click to vote
NETGAMES
2006
ACM
16 years 11 days ago
2006
ACM
This paper studies a way to improve consistency of states in a ball game typed DVE with lag, in P2P architecture. We also study how to control shared objects in real-time in a ser...
140
click to vote
PAIRING
2007
Springer
16 years 16 days ago
2007
Springer
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...
236
click to vote
LADC
2011
Springer
14 years 9 months ago
2011
Springer
—We compare in an analytical way two leader-based and decentralized algorithms (that is, algorithms that do not use a leader) for Byzantine consensus with strong validity. We sho...
208
click to vote
ESWS
2011
Springer
14 years 10 months ago
2011
Springer
The Linked Open Data (LOD) is a major milestone towards realizing the Semantic Web vision, and can enable applications such as robust Question Answering (QA) systems that can answe...