Sciweavers

4029 search results - page 380 / 806
» Experience with Software Watermarking
Sort
View
SAC
2009
ACM
16 years 1 months ago
A systematic method for generating quality requirements spectrum
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...
Shunichi Suzuki, Akira Osada, Tomonori Sato, Haruh...
IPPS
2009
IEEE
16 years 1 months ago
Implementing OpenMP on a high performance embedded multicore MPSoC
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
Barbara M. Chapman, Lei Huang, Eric Biscondi, Eric...
169
Voted
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ATAL
2009
Springer
16 years 1 months ago
HIHEREI: human interaction within hybrid environments regulated through electronic institutions
In this paper we present an application build on top of electronic institutions in order to create a remote experimental platform for human and virtual agents. Our software object...
Ismel Brito, Isaac Pinyol, Daniel Villatoro, Jordi...
EDUTAINMENT
2009
Springer
16 years 1 months ago
AdMoVeo: A Robotic Platform for Teaching Creative Programming to Designers
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
Sjriek Alers, Jun Hu