1912 search results - page 103 / 383 » On the evaluation of argumentation formalisms |
124
click to vote
WISE
2007
Springer
16 years 17 days ago
2007
Springer
Web accessibility rules, i.e., the conditions to be met by Web sites in order to be considered accessible for all, can be (partially) checked automatically in many different ways....
138
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
145
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
200
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
144
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...