Sciweavers

2877 search results - page 377 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
USENIX
2000
15 years 7 months ago
Outwit: UNIX Tool-Based Programming Meets the Windows World
The ubiquity of Windows-based desktop environments has not been matched by a corresponding emergence of tools supporting the Unix tool composition paradigm. Outwit is a suite of t...
Diomidis Spinellis
CORR
2010
Springer
160views Education» more  CORR 2010»
15 years 6 months ago
Developing courses with HoloRena, a framework for scenario- and game based e-learning environments
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...
Laszlo Juracz
CADE
2002
Springer
16 years 6 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
COOPIS
1998
IEEE
15 years 10 months ago
A Generative Communication Service for Database Interoperability
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
Wilhelm Hasselbring, Mark Roantree