12637 search results - page 2190 / 2528 » Security for Extensible Systems |
201
click to vote
AUSAI
2004
Springer
16 years 6 days ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
160
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
190
click to vote
CD
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
199
click to vote
COORDINATION
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
153
click to vote
DAS
2004
Springer
16 years 6 days ago
2004
Springer
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...