Sciweavers

520 search results - page 31 / 104
» Contributing to eclipse: A case study
Sort
View
ASM
2010
ASM
15 years 3 months ago
Refinement-Animation for Event-B - Towards a Method of Validation
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
Stefan Hallerstede, Michael Leuschel, Daniel Plagg...
EUROMICRO
2009
IEEE
15 years 3 months ago
Sprint Planning with a Digital Aid Tool: Lessons Learnt
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
Erlend Agoy Engum, Zornitza Racheva, Maya Daneva
ESANN
2004
15 years 1 months ago
Dynamic functional-link neural networks genetically evolved applied to system identification
: The contribution concerns the design of a generalised functional-link neural network with internal dynamics and its applicability to system identification by means of multi-input...
Teodor Marcu, Birgit Köppen-Seliger
80
Voted
DAM
2008
111views more  DAM 2008»
14 years 12 months ago
Games played by Boole and Galois
We define an infinite class of 2-pile subtraction games, where the amount that can be subtracted from both piles simultaneously is an extended Boolean function f of the size of th...
Aviezri S. Fraenkel
IJCAT
2010
106views more  IJCAT 2010»
14 years 10 months ago
Fine grain associative feature reasoning in collaborative engineering
: This paper explores the vast domain of systematic collaborative engineering with reference to product lifecycle management approach from the angle of feature-level collaboration ...
Yong-Sheng Ma, C. H. Bong