280 search results - page 52 / 56 » Some Recent Results in Metric Temporal Logic |
IUI
2010
ACM
14 years 2 months ago
2010
ACM
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Resource reservation has been recently supported by many real-time operating systems to provide applications with guaranteed and timely access to system resources. Typically, rese...
ESORICS
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...
COOPIS
1998
IEEE
13 years 12 months ago
1998
IEEE
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...
BMCBI
2010
13 years 7 months ago
2010
Background: DNA replication is a fundamental biological process during S phase of cell division. It is initiated from several hundreds of origins along whole chromosome with diffe...