The yard allocation problem (YAP) is a real-life resource allocation problem faced by the Port of Singapore Authority (PSA). As the problem is NP-hard, we propose an effective met...
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
Some in the research community perceive the Internet Engineering Task Force (IETF) as ossified and see the difficulty in standardizing new protocols as an indication that there is...
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...