Sciweavers

2909 search results - page 84 / 582
» Consistency of the theory of contexts
Sort
View
ALGORITHMS
2010
113views more  ALGORITHMS 2010»
15 years 3 months ago
A Complete Theory of Everything (Will Be Subjective)
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
Marcus Hutter
IWPC
2006
IEEE
16 years 9 days ago
Building Usage Contexts During Program Comprehension
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...
Chris Parnin, Carsten Görg
PERCOM
2010
ACM
15 years 4 months ago
Towards the adaptive integration of multiple context reasoners in pervasive computing environments
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...
Daniele Riboni, Linda Pareschi, Claudio Bettini
FOSSACS
2010
Springer
16 years 1 months ago
Completeness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
Sam Staton
ICSEA
2007
IEEE
16 years 18 days ago
In Search of a Unified Theory of Software Engineering
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The d...
Pontus Johnson, Mathias Ekstedt