16513 search results - page 2914 / 3303 » Numerical Analysis Methods |
161
click to vote
AUSAI
2004
Springer
15 years 10 months 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...
118
Voted
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
147
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
179
click to vote
CEAS
2004
Springer
15 years 10 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
145
Voted
CHES
2004
Springer
15 years 10 months ago
2004
Springer
Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by making the power consumption independent of process...