3555 search results - page 40 / 711 » Security-Critical System Development with Extended Use Cases |
118
click to vote
CNL
2009
14 years 11 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
GPCE
2003
Springer
15 years 6 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
152
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
122
click to vote
LOPSTR
1995
Springer
15 years 4 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
111
click to vote
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...