3168 search results - page 330 / 634 » Computing Event Dependencies in System Designs and Programs |
174
click to vote
USENIX
2000
15 years 8 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
164
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
This paper addresses a simple, yet fundamental question in the design of peer-to-peer systems: What does it mean when we say “availability” and how does this understanding imp...
157
click to vote
EXPERT
2007
15 years 6 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
172
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
170
click to vote
IPSN
2007
Springer
16 years 23 days ago
2007
Springer
Distributed computation of Voronoi cells in sensor networks, i.e. computing the locus of points in a sensor field closest to a given sensor, is a key building block that supports...