To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
Jaelson Castro, Carla T. L. L. Silva, John Mylopou...
This paper presents new circuit configurationsfor a more robust and efficient form of self-resettingCMOS (SRCMOS). Prior structures for SRCMOS have very high performance but are...