1167 search results - page 177 / 234 » A Really Temporal Logic |
116
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
109
click to vote
DEXAW
2006
IEEE
15 years 7 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
117
click to vote
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...