15635 search results - page 334 / 3127 » Modelling and Design of VAML |
172
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
154
Voted
ECRTS
2005
IEEE
16 years 7 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
156
click to vote
ESORICS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
161
Voted
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
141
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...