Sciweavers

4360 search results - page 582 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
EH
2000
IEEE
109views Hardware» more  EH 2000»
15 years 11 months ago
Bidirectional Incremental Evolution in Extrinsic Evolvable Hardware
Evolvable Hardware (EHW) has been proposed as a new technique to design complex systems. Often, complex systems turn out to be very difficult to evolve. The problem is that a gen...
Tatiana Kalganova
ICDCS
2011
IEEE
14 years 6 months ago
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
Yérom-David Bromberg, Paul Grace, Laurent R...
ROBIO
2006
IEEE
120views Robotics» more  ROBIO 2006»
16 years 22 days ago
Event Based Methodology for SuperMedia Enhanced Teleoperation
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
Yang Liu, Amit Goradia, Yonghui Xue, Ning Xi
TSE
2011
144views more  TSE 2011»
15 years 1 months ago
Genetic Algorithms for Randomized Unit Testing
—Randomized testing is an effective method for testing software units. Thoroughness of randomized unit testing varies widely according to the settings of certain parameters, such...
James H. Andrews, Tim Menzies, Felix Chun Hang Li
SEFM
2006
IEEE
16 years 22 days ago
Product Automata and Process Algebra
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
Kamal Lodaya