454 search results - page 69 / 91 » Modeling and analysis of multi-agent systems using petri net... |
147
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
121
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
150
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
114
click to vote
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
131
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...