1521 search results - page 68 / 305 » On Sampled Semantics of Timed Systems |
156
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
113
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...
154
Voted
REX
1991
15 years 7 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
136
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
156
click to vote
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...