924 search results - page 81 / 185 » An expressive aspect language for system applications with A... |
149
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
171
click to vote
REFLECTION
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
155
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
203
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
211
click to vote
PLPV
2012
ACM
14 years 1 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...