Sciweavers

55 search results - page 4 / 11
» Could there be exactly two things
Sort
View
FMAM
2010
174views Formal Methods» more  FMAM 2010»
13 years 5 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
DIGRA
2005
Springer
14 years 27 days ago
The Nip and the Bite
An examination of the contributions that can be made by the field of non-mechanistic cybernetics (as elaborated by Gregory Bateson and Anthony Wilden) to a theory of videogames th...
Darshana Jayemanne
RE
1997
Springer
13 years 11 months ago
Requirements Models in Context
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
Colin Potts
NIPS
2008
13 years 8 months ago
An ideal observer model of infant object perception
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
Charles Kemp, Fei Xu
CCGRID
2003
IEEE
14 years 19 days ago
Evaluation of the inter-cluster data transfer on Grid environment
High-performance peer-to-peer transfer between clusters will be fundamental technology base for various Grid middleware, such as large-scale data transfer in DataGrid settings, or...
Shoji Ogura, Satoshi Matsuoka, Hidemoto Nakada