Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
This paper describes a knowledge-poor anaphora resolution approach based on a shallow meaning representation of sentences. The structure afforded in such a representation provides ...
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...