10038 search results - page 1877 / 2008 » Model Checking for Managers |
156
Voted
TON
2010
14 years 7 months ago
2010
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
132
Voted
TOSEM
2010
14 years 7 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
140
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
119
click to vote
IJAHUC
2011
14 years 4 months ago
2011
: We propose and investigate the Internet Protocol version 6 (IPv6) enabled mobility framework to improve the user mobility experience in heterogenous wireless networks. The framew...
122
click to vote
IUI
2011
ACM
14 years 3 months ago
2011
ACM
As people accumulate hundreds of “friends” in social media, a flat list of connections becomes unmanageable. Interfaces agnostic to social structure hinder the nuanced sharin...