1054 search results - page 168 / 211 » Translation Validation of System Abstractions |
158
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
133
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
149
click to vote
WWIC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
146
click to vote
PODC
1991
ACM
15 years 9 months ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are deļ¬ned and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is deļ...
151
click to vote
ISTA
2004
15 years 7 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...