1633 search results - page 257 / 327 » On the Verification of Temporal Properties |
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
ISQED
2005
IEEE
15 years 5 months ago
2005
IEEE
Today's System-on-a-Chip (SoC) design methodology provides an efficient way to develop highly integrated systems on a single chip by utilizing pre-designed intellectual prope...
140
click to vote
MIR
2003
ACM
15 years 5 months ago
2003
ACM
Sign board detection is important for such computer vision applications as video surveillance and content based visual information retrieval. Previous researches on this topic foc...
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
Due to the increasing operating frequencies and the manner in which the corresponding integrated circuits and systems must be designed, the extraction, modeling and simulation of ...
124
click to vote
UML
2001
Springer
15 years 4 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...