2757 search results - page 183 / 552 » On separating systems |
143
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
138
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
In the frame of a Unified Messaging System, a crucial task of the system is to provide the user with key information on every message received, like keywords reflecting the object...
140
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
123
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—A policy can be defined as any type of formal behavioural guide that is input to the system. Examples of policies that can be found in data center management systems include SLA...
153
Voted
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...