Sciweavers

840 search results - page 21 / 168
» A low-complexity issue logic
Sort
View
IFIP
2009
Springer
14 years 4 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
TIME
2008
IEEE
14 years 4 months ago
Decomposition of Decidable First-Order Logics over Integers and Reals
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
Florent Bouchy, Alain Finkel, Jérôme ...
INAP
2005
Springer
14 years 3 months ago
Using a Logic Programming Language with Persistence and Contexts
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
Salvador Abreu, Vítor Nogueira
DATE
2004
IEEE
125views Hardware» more  DATE 2004»
14 years 1 months ago
Extremely Low-Power Logic
For extremely Low-power Logic, three very new and promising techniques will be described. The first are methods on circuit and system level for reduced supply voltages. In large l...
Christian Piguet, Jacques Gautier, Christoph Heer,...
UC
2009
Springer
14 years 4 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari