1661 search results - page 149 / 333 » Real-time specification patterns |
101
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Two-dimensional gel electrophoresis (2DE) is a powerful technique to examine post-translational modifications of complexly modulated proteins. Currently, spot detectio...
151
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Viral zoonosis, the transmission of a virus from its primary vertebrate reservoir species to humans, requires ubiquitous cellular proteins known as receptor proteins. ...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
105
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
117
Voted
GIS
2007
ACM
15 years 8 months ago
2007
ACM
As technology advances we encounter more available data on moving objects, thus increasing our ability to mine spatiotemporal data. We can use this data for learning moving object...