4126 search results - page 597 / 826 » Relationships with other Formalisms |
175
click to vote
SELMAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
183
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
250
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
160
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
183
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...