2632 search results - page 383 / 527 » Alternating Timed Automata |
110
click to vote
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
107
Voted
BIBE
2005
IEEE
15 years 7 months ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
93
Voted
CBMS
2005
IEEE
15 years 7 months ago
2005
IEEE
In the past number of years the demand for high performance computing has greatly increased in the area of bioinformatics. The huge increase in size of many genomic databases has ...
COLCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
110
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Fueled by an unprecedented desire for convenience and self-service, consumers are embracing embedded technology solutions that enhance their mobile lifestyles. Consequently, we wi...