3342 search results - page 591 / 669 » Automating Abstract Interpretation |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
CAISE
2000
Springer
14 years 2 months ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
DAC
1999
ACM
14 years 2 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
METRICS
1999
IEEE
14 years 2 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...