130 search results - page 23 / 26 » On the Complexity of Linking Deductive and Abstract Argument... |
ICRE
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
ER
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
ECAL
2003
Springer
14 years 20 days ago
2003
Springer
Abstract Wherever we see life, we see different kinds of complex networks, reason why they are studied across various fields of science. Random Boolean Networks (RBNs) form a spe...
HIPEAC
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
MKWI
2008
13 years 9 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...