2282 search results - page 158 / 457 » Active property checking |
150
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
124
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
173
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...
122
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Approximately 5% of Pfam families are enzymatic, but only a small fraction of the sequences within these families (<0.5%) have had the residues responsible for cata...
155
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...