3498 search results - page 490 / 700 » Role Model Based Framework Design and Integration |
159
click to vote
RTAS
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
185
click to vote
WSC
2001
15 years 7 months ago
2001
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
170
click to vote
IEEESCC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Integration of heterogeneous information becomes again a requirement with the emergence of large-scale distributed applications such as Web-Services based Applications. Enterpri...
133
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
200
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...