4679 search results - page 168 / 936 » Modeling When Connections Are the Problem |
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
103
click to vote
CSCWD
2006
Springer
15 years 5 months ago
2006
Springer
People are usually concerned with the privacy of their personal information. However, the problem of privacy is also present when the information is directly linked to people, for...
110
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
121
Voted
ECML
1991
Springer
15 years 5 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
103
Voted
BMCBI
2008
15 years 1 months ago
2008
Background: With the advent of high throughput biotechnology data acquisition platforms such as micro arrays, SNP chips and mass spectrometers, data sets with many more variables ...