1676 search results - page 118 / 336 » Formal System Development with KIV |
109
click to vote
CN
1998
15 years 4 months ago
1998
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...
135
click to vote
INFSOF
1998
15 years 4 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
135
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
138
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...