Sciweavers

3564 search results - page 45 / 713
» Evaluating a Formal Modelling Language
Sort
View
DBPL
2007
Springer
75views Database» more  DBPL 2007»
15 years 3 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
IVA
2010
Springer
14 years 7 months ago
Evaluating the Effect of Gesture and Language on Personality Perception in Conversational Agents
A significant goal in multi-modal virtual agent research is to determine how to vary expressive qualities of a character so that it is perceived in a desired way. The "Big Fiv...
Michael Neff, Yingying Wang, Rob Abbott, Marilyn A...
GRAMMARS
1998
111views more  GRAMMARS 1998»
14 years 9 months ago
Quantitative Comparison of Languages
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
András Kornai
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
15 years 3 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
ICESS
2005
Springer
15 years 3 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha