Sciweavers

1424 search results - page 134 / 285
» Modeling A Control System For Organizational Processes
Sort
View
CDC
2008
IEEE
150views Control Systems» more  CDC 2008»
15 years 10 months ago
Robust synchronization in networks of cyclic feedback systems
Abstract— This paper presents a result on the robust synchronization of outputs of statically interconnected non-identical cyclic feedback systems that are used to model, among o...
Abdullah Omar Hamadeh, Guy-Bart Stan, Jorge M. Gon...
94
Voted
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
15 years 1 months ago
A system to recommend dishes by the real time recognition of dining activity
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Tomoo Inoue, Yosuke Matsusaka
152
Voted
IEE
2008
91views more  IEE 2008»
15 years 3 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...
132
Voted
ISCIS
2004
Springer
15 years 8 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
147
Voted
APIN
1998
98views more  APIN 1998»
15 years 3 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross