Sciweavers

4469 search results - page 332 / 894
» A Language for Role Specifications
Sort
View
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
AAAI
2000
15 years 8 months ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
AVI
1996
15 years 8 months ago
A framework for user-interfaces to databases
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
Kenneth J. Mitchell, Jessie B. Kennedy, Peter J. B...
COLING
1990
15 years 8 months ago
The General Architecture of Generation in ACORD
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
Dieter Kohl, Agnès Plainfossé, Clair...
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Policies of System Level Pipeline Modeling
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
Edwin A. Harcourt