42 search results - page 2 / 9 » compsac 2006 |
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper discusses foundations of conventional style of rule mining in which rules are extracted from a data table. Rule mining mainly uses the structure of a table, data partit...
COMPSAC
2006
IEEE
13 years 8 months ago
2006
IEEE
We propose Tree Hash to reduce bucket overflow, which is one of the inherent problems in dynamic hash techniques. In this investigation, we dicuss how to improve efficien cy of Tre...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...