: Addressing new public challenges such as the one-stop government and improved service quality, we introduce serviceflow management as a generic concept to coordinate cross-organi...
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
Kaustubh R. Joshi, William H. Sanders, Matti A. Hi...
: Recent advances in sensor technologies, wireless communication, powerful mobile devices, and wearable computers strongly support novel types of applications. Especially in health...
This paper proposes a method that automatically acquires the SAs (semantic attributes) of user defined words. Applyingthis method to the compilation of a user dictionary targeting...
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...