8933 search results - page 1683 / 1787 » Usability over time |
128
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
141
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
Register bypassing is a powerful and widely used feature in modern processors to eliminate certain data hazards. Although complete bypassing is ideal for performance, bypassing ha...
139
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...
109
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
140
click to vote
CAMAD
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we show results from a packet-level traffic characterization aiming at finding spatial and temporal invariances of TCP based applications, such as HTTP and SMTP. We d...