Sciweavers

1632 search results - page 102 / 327
» On special numberings of hypergraphs
Sort
View
SOSE
2006
IEEE
16 years 19 days ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...
SUTC
2006
IEEE
16 years 19 days ago
An Indoor Localization Mechanism Using Active RFID Tag
The location-aware technology and its application are prerequisite to realize the ubiquitous computing. However, another special system for indoor localization is needed in the co...
Guang-yao Jin, Xiao-Yi Lu, Myong-Soon Park
VALUETOOLS
2006
ACM
142views Hardware» more  VALUETOOLS 2006»
16 years 17 days ago
M/M/C queues with Markov modulated service processes
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
Melike Baykal-Gursoy, Zhe Duan
167
Voted
CEC
2005
IEEE
16 years 7 days ago
Dynamic multi-swarm particle swarm optimizer with local search
—In this paper, the performance of dynamic multi-swarm particle swarm optimizer (DMS-PSO) on the set of benchmark functions provided for the CEC2008 Special Session on Large Scal...
Jing J. Liang, Ponnuthurai N. Suganthan
CEC
2005
IEEE
16 years 7 days ago
Adaptive cluster covering and evolutionary approach: comparison, differences and similarities
In case the objective function to be minimized is not known analytically and no assumption can be made about the single extremum, global optimization (GO) methods must be used. Pap...
Dimitri P. Solomatine