9842 search results - page 1586 / 1969 » Compositional timing analysis |
156
click to vote
ASIASIM
2004
Springer
15 years 10 months 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...
126
Voted
AUSAI
2004
Springer
15 years 10 months 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...
110
click to vote
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....
150
Voted
CIA
2004
Springer
15 years 10 months 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...
151
click to vote
CIKM
2004
Springer
15 years 10 months 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 ...