Sciweavers

564 search results - page 6 / 113
» Do interactive systems need specifications
Sort
View
ISORC
2003
IEEE
14 years 4 months ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
MATES
2010
Springer
13 years 9 months ago
Do You Get It? User-Evaluated Explainable BDI Agents
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
Joost Broekens, Maaike Harbers, Koen V. Hindriks, ...
RE
2010
Springer
13 years 5 months ago
Risk-based Confidentiality Requirements Specification for Outsourced IT Systems
Today, companies are required to be in control of their IT assets, and to provide proof of this in the form of independent IT audit reports. However, many companies have outsourced...
Ayse Morali, Roel Wieringa
ACMACE
2009
ACM
14 years 2 months ago
Zuzen, a cloud-based framework for automated machinima generation
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
Samuel Munilla, R. Michael Young
BMCBI
2007
89views more  BMCBI 2007»
13 years 11 months ago
Primique: automatic design of specific PCR primers for each sequence in a family
Background: In many contexts, researchers need specific primers for all sequences in a family such that each primer set amplifies only its target sequence and none of the others, ...
Jakob Fredslund, Mette Lange