3708 search results - page 156 / 742 » Programming with C Exceptions |
133
Voted
MP
2002
15 years 5 months ago
2002
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
155
click to vote
CP
2007
Springer
16 years 9 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
142
Voted
ECLIPSE
2006
ACM
16 years 3 days ago
2006
ACM
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....
183
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
148
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Anonymity with identity escrow attempts to allow users of a service to remain anonymous, while providing the possibility that the service owner can break the anonymity in exception...