22698 search results - page 4386 / 4540 » Modeling in Software Engineering |
90
Voted
ASPLOS
2000
ACM
15 years 2 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Manifolds are widely used to model non-linearity arising in a range of computer vision applications. This paper treats statistics on manifolds and the loss of accuracy occurring wh...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
CHI
2010
ACM
15 years 2 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
100
Voted
AGP
1999
IEEE
15 years 2 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...