726 search results - page 75 / 146 » From Anomaly Reports to Cases |
168
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
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...
172
click to vote
LATA
2009
Springer
16 years 29 days ago
2009
Springer
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...
159
click to vote
DIGITEL
2007
IEEE
16 years 16 days ago
2007
IEEE
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...
150
click to vote
MSR
2006
ACM
16 years 4 days ago
2006
ACM
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...
135
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
—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...