Sciweavers

2672 search results - page 199 / 535
» Hybridizing Concept Languages
Sort
View
FM
1999
Springer
93views Formal Methods» more  FM 1999»
14 years 1 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
CAISE
2006
Springer
14 years 1 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida
IADIS
2004
13 years 10 months ago
A Taxonomy for Scenario-Based Engineering
Recent works about the activity-oriented approach et educational modeling languages ask questions about the pedagogical scenario concept. The aim of this paper is to define the fo...
Anne Lejeune, Jean-Philippe Pernin
LPE
1997
13 years 10 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...
CHI
2010
ACM
13 years 7 months ago
The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
Brent Hecht, Darren Gergle