4166 search results - page 87 / 834 » A modular module system |
123
Voted
IFM
1999
Springer
15 years 7 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
136
Voted
AIRS
2006
Springer
15 years 6 months ago
2006
Springer
One of the main challenges in content-based image retrieval still remains to bridge the gap between low-level features and semantic information. In this paper, we present our first...
161
Voted
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
111
Voted
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
137
Voted
ESANN
2001
15 years 4 months ago
2001
Time varying environments or model selection problems lead to crucial dilemmas in identification and control science. In this paper, we propose a modular prediction scheme consisti...