1912 search results - page 80 / 383 » On the evaluation of argumentation formalisms |
167
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— Verifying the accuracy of a passive measurementsbased inference technique under all possible network scenarios is a difficult challenge - the measurement point has lim...
174
click to vote
IADIS
2004
15 years 7 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
216
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
164
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
160
click to vote
HASE
2008
IEEE
16 years 22 days ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...