1031 search results - page 154 / 207 » On the Formal Development of Safety-Critical Software |
158
Voted
GPC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
114
Voted
E4MAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
84
Voted
CSSE
2004
IEEE
15 years 15 days ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
ICNP
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
146
click to vote
AOSD
2012
ACM
13 years 8 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...