34229 search results - page 270 / 6846 » Power-aware computing systems |
146
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
152
click to vote
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
135
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
116
click to vote
ECSCW
2007
15 years 5 months ago
2007
In computer-mediated group communication, anonymity enables participants to post controversial comments without risking accusations of improper behavior. While this may encourage m...
132
click to vote
ISTA
2003
15 years 5 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...