2909 search results - page 84 / 582 » Consistency of the theory of contexts |
148
click to vote
ALGORITHMS
2010
15 years 3 months ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
156
click to vote
IWPC
2006
IEEE
16 years 9 days ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...
191
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...
155
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
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 ...
138
click to vote
ICSEA
2007
IEEE
16 years 18 days ago
2007
IEEE
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...