383 search results - page 18 / 77 » Abstracting Complex Languages through Transformation and Com... |
112
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
150
click to vote
ESWS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
143
click to vote
SAC
2008
ACM
15 years 24 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
129
click to vote
IPPS
1996
IEEE
15 years 5 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...