5084 search results - page 94 / 1017 » Proving Possibility Properties |
EUROMICRO
2004
IEEE
14 years 1 months ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—In a wireless network with node exclusive spectrum sharing, two popular schedules are maximum weight matching (MWM) schedule and maximum size matching (MSM) schedule. The former...
FORTE
1994
13 years 11 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
NIPS
2007
13 years 11 months ago
2007
In many applications, one has to actively select among a set of expensive observations before making an informed decision. Often, we want to select observations which perform well...