1573 search results - page 61 / 315 » Signs and Formal Concepts |
QSIC
2005
IEEE
14 years 3 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
CCS
2003
ACM
14 years 3 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
UML
2001
Springer
14 years 2 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
SIGCSE
1997
ACM
14 years 2 months ago
1997
ACM
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
ASWC
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...