871 search results - page 29 / 175 » Modeling Architectural Patterns' Behavior Using Architectura... |
149
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
113
click to vote
IEEESCC
2006
IEEE
15 years 8 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
105
click to vote
OOIS
2000
Springer
15 years 6 months ago
2000
Springer
ABSTRACT: Typically, we think of modelling some business domain when we see the word modelling in the context of software -- some business domain is not understood and therefore we...
145
Voted
DIALM
2007
ACM
15 years 6 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...