In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...