2500 search results - page 103 / 500 » Specifying Behavior in C |
AGENTS
1997
Springer
15 years 2 months ago
1997
Springer
Animated pedagogical agents o er great promise for knowledge-based learning environments. In addition to coupling feedback capabilities with a strong visual presence, these agents...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
ANSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
104
click to vote
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...