1153 search results - page 108 / 231 » Compositional Specification Calculus for Information Systems... |
165
click to vote
OPODIS
2004
15 years 5 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
118
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
155
click to vote
JCIT
2007
15 years 3 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
133
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
145
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Composition, listening, and performance are essential activities in classroom music education, yet conventional music classes impose unnecessary limitations on students’ ability...