1163 search results - page 230 / 233 » Case Studies of Model Checking for Embedded System Designs |
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
81
Voted
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we model and analyze the interactions between secondary users in a spectrum overlay cognitive system as a cognitive MAC game. In this game, each secondary user ca...
76
Voted
CIKM
2004
Springer
15 years 2 months ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...