2441 search results - page 136 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
108
click to vote
PC
2006
14 years 11 months ago
2006
Tiling is a well known loop transformation used to reduce communication overhead in distributed memory machines. Although a lot of theoretical research has been done concerning th...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
SEAA
2008
IEEE
15 years 5 months ago
2008
IEEE
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...