Sciweavers

6187 search results - page 409 / 1238
» Practical Software Measurement
Sort
View
SEKE
2005
Springer
15 years 12 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark...
CSMR
2003
IEEE
15 years 11 months ago
Finding Function Clones in Web Applications
Many web applications use a mixture of HTML and scripting language code as the front-end to business services. Analogously to traditional applications, redundant code is introduce...
Filippo Lanubile, Teresa Mallardo
EMSOFT
2001
Springer
15 years 11 months ago
Usage Scenarios for an Automated Model Compiler
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffre...
OOIS
2001
Springer
15 years 10 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan
EUROMICRO
2000
IEEE
15 years 10 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...