Sciweavers

653 search results - page 25 / 131
» ASP: from Application Development to Syntax Extensions
Sort
View
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 8 months ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
RWEB
2009
Springer
15 years 10 months ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 3 months ago
Enhanced Prolog Remote Predicate Call Protocol
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
Alin Suciu, Kalman Pusztai, Andrei Diaconu
CSEE
2007
Springer
15 years 10 months ago
Creating Meaningful Assessments for Professional Development Education in Software Architecture
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
Elspeth Golden, Len Bass
APSEC
2006
IEEE
15 years 10 months ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...