4679 search results - page 157 / 936 » Modeling When Connections Are the Problem |
122
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Standard graphs, where each edge links two nodes, have been extensively used to represent the connectivity of metabolic networks. It is based on this representation th...
113
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
136
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
116
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
112
Voted
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
Most of the security proposals in m-commerce scenarios have been based on a classical payment model, which basically establishes relationships across domains among customers and me...