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»
16 years 1 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...
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
15 years 5 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
IEE
2008
91views more  IEE 2008»
15 years 6 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, ...
ISCIS
2004
Springer
16 years 6 days 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
APIN
1998
98views more  APIN 1998»
15 years 6 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