898 search results - page 90 / 180 » The Certification of Software Tools with respect to Software... |
NCA
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a system for secure telephone conferences (stc) over the internet. The system ensures participant authentication via x.509 certificates, such that every participant of...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
LREC
2008
14 years 11 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
PEPM
2004
ACM
15 years 3 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...