152 search results - page 4 / 31 » Towards a specification of the ToonTalk language |
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
ITNG
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
GW
2009
Springer
13 years 5 months ago
2009
Springer
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...