37 search results - page 5 / 8 » Proving the Shalls |
83
Voted
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
IEEEIAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—There have been several studies on using computer technologies to improve elections and these studies lead to widespread adoption of “direct recording electronic” (DRE) voti...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Cloud computing has become a hot topic in the IT industry. Great efforts have been made to establish cloud computing platforms for enterprise users, mostly small businesses. Howe...
COMBINATORICS
2000
14 years 9 months ago
2000
We study the limiting distribution of the height in a generalized trie in which external nodes are capable to store up to b items (the so called b-tries). We assume that such a tr...