Sciweavers

2145 search results - page 261 / 429
» Architectural Specifications in CASL
Sort
View
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
ADHOC
2005
165views more  ADHOC 2005»
15 years 5 months ago
A survey on routing protocols for wireless sensor networks
Recent advances in wireless sensor networks have led to many new protocols specifically designed for sensor networks where energy awareness is an essential consideration. Most of ...
Kemal Akkaya, Mohamed F. Younis
SOSYM
2008
87views more  SOSYM 2008»
15 years 5 months ago
Model driven design and aspect weaving
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
Jean-Marc Jézéquel
TNN
2008
143views more  TNN 2008»
15 years 5 months ago
Blur Identification by Multilayer Neural Network Based on Multivalued Neurons
A multilayer neural network based on multivalued neurons (MLMVN) is a neural network with a traditional feedforward architecture. At the same time, this network has a number of spe...
Igor N. Aizenberg, Dmitriy Paliy, Jacek M. Zurada,...
JIPS
2007
92views more  JIPS 2007»
15 years 5 months ago
Optimization of Domain-Independent Classification Framework for Mood Classification
In this paper, we introduce a domain-independent classification framework based on both k-nearest neighbor and Naïve Bayesian classification algorithms. The architecture of our s...
Sung-Pil Choi, Yuchul Jung, Sung-Hyon Myaeng