28962 search results - page 442 / 5793 » Computational Mechanism Design |
195
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
174
click to vote
PPPJ
2003
ACM
16 years 4 days ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
214
click to vote
ICAC
2006
IEEE
16 years 28 days ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
194
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
The area of medical monitoring and diagnostics is of particular importance and relevance today. Modern nanotechnology has reduced prices and size of increasingly sophisticated sen...
181
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Newport is a collaborative application for sharing context (e.g. location) and content (e.g. photos and notes) during mobile phone calls. People can share during a phone call and ...