Sciweavers

1350 search results - page 70 / 270
» Generalized Committed Choice
Sort
View
135
Voted
HUC
2009
Springer
15 years 9 months ago
It's not all about "Green": energy use in low-income communities
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...
Tawanna Dillahunt, Jennifer Mankoff, Eric Paulos, ...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 8 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICICS
2001
Springer
15 years 8 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
DIGITALCITIES
2000
Springer
15 years 8 months ago
Extending the Services and the Accessibility of Community Networks
Community networks are community-oriented information and communication systems that are generally patterned after the public library’s model of free, inclusive service and commi...
Antonietta Grasso, Dave Snowdon, Michael Koch
VLDB
1999
ACM
149views Database» more  VLDB 1999»
15 years 8 months ago
The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems
In a temporal OODB, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal OODB, the OIDX should also index the objec...
Kjetil Nørvåg