1407 search results - page 34 / 282 » Using Use Cases in Executable Z |
ACL
1992
15 years 3 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...
129
Voted
NETGAMES
2006
ACM
15 years 8 months 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...
PAIRING
2007
Springer
15 years 8 months 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 ...
171
click to vote
LADC
2011
Springer
14 years 5 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...
142
click to vote
ESWS
2011
Springer
14 years 6 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...