75 search results - page 4 / 15 » gi 2005 |
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Email is one of the most widely-used means of communication, as evidenced by
GI
2005
Springer
15 years 3 months ago
2005
Springer
: A new approach of tracking and classification of space objects with sequential Monte Carlo methods and numerical integration techniques is given.
AML
2005
14 years 9 months ago
2005
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...