Sciweavers

1111 search results - page 105 / 223
» Understanding Egocentric Activities
Sort
View
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
BC
2005
64views more  BC 2005»
15 years 4 months ago
Waves, bumps, and patterns in neural field theories
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...
Stephen Coombes
ISEM
2007
51views more  ISEM 2007»
15 years 4 months ago
IT-enabled transparent electronic markets: the case of the air travel industry
The electronic market hypothesis (EMH) predicts that by reducing coordination costs, information technology (IT) will shift industrial organization from hierarchical to market-bas...
Nelson F. Granados, Alok Gupta, Robert J. Kauffman
ISF
2007
87views more  ISF 2007»
15 years 4 months ago
Requirements traceability in model-driven development: Applying model and transformation conformance
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
ESWA
2002
76views more  ESWA 2002»
15 years 4 months ago
Supporting software development through declaratively codified programming patterns
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
Kim Mens, Isabel Michiels, Roel Wuyts