Sciweavers

1502 search results - page 52 / 301
» Computational Realizations of Living Systems
Sort
View
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 6 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
IJACTAICIT
2010
141views more  IJACTAICIT 2010»
14 years 11 months ago
Five-axis NURBS Path Real-time Generation Method in CNC System
A real-time path generation method with Non Uniform Rational B Spline(NURBS) technology in the Computer Aided Design(CAD) field is presented and realized in a five-axis Computer N...
Liangji Chen, Changyin Gao, Xianzhang Feng
CHIMIT
2009
ACM
15 years 10 months ago
Scripting practices in complex systems management
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
Eser Kandogan, Paul P. Maglio, Eben M. Haber, John...
AAAI
1998
15 years 5 months ago
Metacognition in Software Agents Using Classifier Systems
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta
INFOCOM
2010
IEEE
15 years 2 months ago
MIS: Malicious Nodes Identification Scheme in Network-Coding-Based Peer-to-Peer Streaming
Network coding has been shown to be capable of greatly improving quality of service in P2P live streaming systems (e.g., IPTV). However, network coding is vulnerable to pollution a...
Qiyan Wang, Long Vu, Klara Nahrstedt, Himanshu Khu...