1782 search results - page 86 / 357 » Tool Support for Proof Engineering |
163
click to vote
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....
252
click to vote
COMPUTING
2011
15 years 17 days ago
2011
Abstract Cloud computing could offer good business models for small CSE (Computational Science and Engineering) research groups because these groups often do not have enough human ...
128
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
173
click to vote
SERP
2004
15 years 7 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
154
click to vote
CAISE
2009
Springer
16 years 4 days ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...