527 search results - page 90 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
87
Voted
BIRTHDAY
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
88
Voted
RAID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
84
Voted
FPL
2001
Springer
15 years 1 months ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
142
Voted
PAMI
2010
14 years 4 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...