4353 search results - page 550 / 871 » Computational Challenges of Systems Biology |
160
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
196
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
159
click to vote
DMSN
2006
ACM
16 years 22 days ago
2006
ACM
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
206
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
— Direct human control of multi-robot systems is limited by the cognitive ability of humans to coordinate numerous interacting components. In remote environments, such as those e...
146
click to vote
CSCWD
2005
Springer
16 years 9 days ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...