10159 search results - page 495 / 2032 » System Design Validation Using Formal Models |
149
click to vote
IKE
2003
15 years 6 months ago
2003
We describe the design of an Access Control System using Web Services for information and content management. In this paper we described the solution for control mechanism of the ...
133
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
107
Voted
ENTCS
2007
15 years 5 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
160
Voted
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
152
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...