1432 search results - page 52 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
120
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
147
Voted
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...
150
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
127
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
134
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...