8492 search results - page 350 / 1699 » Modelling and Design of Multi-Agent Systems |
170
click to vote
FDL
2011
IEEE
14 years 6 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
189
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
135
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
155
Voted
ESTIMEDIA
2009
Springer
16 years 25 days ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...