Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
International organizations like FAO are intrinsically multilingual. FAO is currently experimenting with semantic-oriented technologies based on ontologies, with the purpose of int...
Caterina Caracciolo, Margherita Sini, Johannes Kei...
: A pilot system has been developed to promote the collaborative engineering design on the Internet. Product models are stored in a shared database which is formatted according to ...
Soonhung Han, Young Choi, Sangbong Yoo, Namkyu Par...