450 search results - page 68 / 90 » Satisfiability with Exponential Families |
UIST
1996
ACM
15 years 3 months ago
1996
ACM
FOCUS, the Feature-Oriented Catalog USer interface, is an interactive table viewer for a common kind of table, namely the object-attribute table, also called cases-by-attribute ta...
SIGSOFT
1994
ACM
15 years 3 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
100
click to vote
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
HASE
1998
IEEE
15 years 3 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present and formally investigate Cooperative Boolean Games, a new, natural family of coalitional games that are both compact and expressive. In such a game, an agent's pri...