1541 search results - page 232 / 309 » Tools and Techniques for Model Checking Networked Programs |
86
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—Telecommunications networks, and in particular optical WDM networks, are vulnerable to large-scale failures of their physical infrastructure, resulting from physical attacks (su...
114
Voted
BIOSYSTEMS
2007
15 years 21 days ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...
113
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
97
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
One important step in integrating heterogeneous databases is matching equivalent attributes: Determining which fields in two databasesrefer to the samedata. The meaning of informa...
112
Voted
JNW
2006
15 years 16 days ago
2006
With the standardization of IEEE 802.11, there has been an explosive growth of wireless local area networks (WLAN). Recently, this cost effective technology is being developed aggr...