Sciweavers

726 search results - page 75 / 146
» From Anomaly Reports to Cases
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
LATA
2009
Springer
16 years 29 days ago
Prediction of Creole Emergence in Spatial Language Dynamics
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
DIGITEL
2007
IEEE
16 years 16 days ago
Idea Storming Cube: A Game-based System to Support Creative Thinking
This paper describes a collaborative game-based creativity support system, Idea Storming Cube, in support of creative thinking. It aims to make people form a creative and perspect...
Chun-Chieh Huang, Tsai-Yen Li, Hao-Chuan Wang, Chu...
MSR
2006
ACM
16 years 4 days ago
Are refactorings less error-prone than other changes?
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
Peter Weißgerber, Stephan Diehl
ISCAS
2005
IEEE
132views Hardware» more  ISCAS 2005»
15 years 11 months ago
A high performance distributed-parallel-processor architecture for 3D IIR digital filters
—Real-time spatio-temporal VLSI 3D IIR digital filters may be used for imaging or beamforming applications employing 3D input signals from synchronously-sampled multi-sensor arra...
Arjuna Madanayake, Leonard T. Bruton