4270 search results - page 107 / 854 » A Permutation Approach to Validation |
133
click to vote
TIME
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
110
click to vote
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
157
click to vote
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
112
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
142
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...