622 search results - page 114 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
100
click to vote
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
100
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
127
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
112
click to vote
MONET
2011
14 years 6 months ago
2011
— The problem of jamming plays an important role in ensuring the quality and security of wireless communications, especially at this moment when wireless networks are quickly bec...
83
Voted
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Annotations play a key role in understanding and curating databases. Annotations may represent comments, descriptions, lineage information, among several others. Annotation manage...