682 search results - page 46 / 137 » Philosophical Issues in Computer Science |
GI
2007
Springer
14 years 2 months ago
2007
Springer
: The eGovernment is a field of applications for the Semantic Web. The eGovernment also is becoming an important research area and faces considerable challenges to achieve interope...
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
Real-time Collaborative Software Engineering (CSE) tools have many perceived benefits including increased programmer communication and faster resolution of development conflicts...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Many classical graph visualization algorithms have already been developed over the past decades. However, these algorithms face difficulties in practice, such as the overlapping n...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...