Sciweavers

12289 search results - page 868 / 2458
» computing 2006
Sort
View
BIRTHDAY
2006
Springer
15 years 11 months ago
Complete Categorical Deduction for Satisfaction as Injectivity
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
Grigore Rosu
IPPS
2006
IEEE
16 years 1 months ago
Fault tolerance with real-time Java
After having drawn up a state of the art on the theoretical feasibility of a system of periodic tasks scheduled by a preemptive algorithm at fixed priorities, we show in this art...
Damien Masson, Serge Midonnet
SKG
2006
IEEE
16 years 1 months ago
Relation between Semantic Completeness and Syntax Completeness on General Formal Systems
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
Zhenghua Pan
SKG
2006
IEEE
16 years 1 months ago
Semantic Pattern for User-Interactive Question Answering
A new semantic pattern is proposed in this paper, which can be used by users to post questions and answers in user-interactive question answering (QA) system. The necessary proced...
Tianyong Hao, Qingtian Zeng, Liu Wenyin
SAC
2006
ACM
16 years 1 months ago
A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...
Valerio Schiavoni, Vivien Quéma