3119 search results - page 163 / 624 » Abstract Requirement Analysis in Multiagent System Design |
141
click to vote
ICECCS
2009
IEEE
15 years 1 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
133
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
147
click to vote
CTW
2004
15 years 3 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
143
click to vote
TCAD
2008
15 years 3 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
213
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...