Mobile and embedded devices provide the function of surfing the Internet anytime and anywhere. There are several kinds of mobile execution environment...

Constraints represent a class of business rules that describe the conditions under which an organisation operates. It is common that organisations imp...

Process programming is a critical approach in many process management related areas including workflow management, software engineering, etc. Numerous...

This paper studies a single server finite-buffer bulk-service queue in which the inter-arrival and service times are exponentially and arbitrarily dis...

Combining knowledge representation and reasoning formalisms is an important and challenging task. It is important because non-trivial AI applications...