4360 search results - page 566 / 872 » Socio-technical systems: From design methods to systems engi... |
167
click to vote
GLVLSI
2006
IEEE
16 years 25 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
181
click to vote
WSC
2007
15 years 9 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
161
click to vote
HIS
2004
15 years 8 months ago
2004
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
183
click to vote
EUROMICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...
194
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...