Sciweavers

8499 search results - page 56 / 1700
» cans 2009
Sort
View
FCT
2009
Springer
14 years 5 months ago
Energy Complexity and Depth of Threshold Circuits
Abstract. In the paper we show that there is a close relationship between the energy complexity and the depth of threshold circuits computing any Boolean function although they hav...
Kei Uchizawa, Takao Nishizeki, Eiji Takimoto
FROCOS
2009
Springer
14 years 5 months ago
Taming the Complexity of Temporal Epistemic Reasoning
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
Clare Dixon, Michael Fisher, Boris Konev
IFIP
2009
Springer
14 years 5 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
RULEML
2009
Springer
14 years 5 months ago
Generation of Rules from Ontologies for High-Level Scene Interpretation
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
Wilfried Bohlken, Bernd Neumann
SAMOS
2009
Springer
14 years 5 months ago
Prediction in Dynamic SDRAM Controller Policies
Abstract. Memory access latency can limit microcontroller system performance. SDRAM access control policies impact latency through SDRAM device state. It is shown that execution ti...
Ying Xu, Aabhas S. Agarwal, Brian T. Davis