9842 search results - page 1586 / 1969 » Compositional timing analysis |
188
click to vote
ASIASIM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
171
click to vote
AUSAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Analysis of queries posed to open-domain question-answering systems indicates that particular types of queries are dominant, e.g., queries about the identity of people, a...
150
click to vote
CAISE
2004
Springer
16 years 5 days 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....
190
click to vote
CIA
2004
Springer
16 years 4 days ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
194
click to vote
CIKM
2004
Springer
16 years 4 days ago
2004
Springer
Biosequences typically have a small alphabet, a long length, and patterns containing gaps (i.e., “don’t care”) of arbitrary size. Mining frequent patterns in such sequences ...