Sciweavers

393 search results - page 55 / 79
» Dynamic Temporal Interpretation Contexts for Temporal Abstra...
Sort
View
IPPS
2000
IEEE
14 years 1 months ago
Incorporating Non-functional Requirements into Software Architectures
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. ...
CSAC
2006
13 years 10 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ICASSP
2011
IEEE
13 years 11 days ago
Optimal transmission strategies for channel capture mitigation in Cognitive Radio Networks
Abstract—Temporal Dynamic Spectrum Access (DSA) in Cognitive Radio Networks exploits time gaps between the primary users transmissions. In this work, the fundamental performance ...
Yingxi Liu, Nikhil Kundargi, Ahmed H. Tewfik
ICML
2008
IEEE
14 years 9 months ago
Automatic discovery and transfer of MAXQ hierarchies
We present an algorithm, HI-MAT (Hierarchy Induction via Models And Trajectories), that discovers MAXQ task hierarchies by applying dynamic Bayesian network models to a successful...
Neville Mehta, Soumya Ray, Prasad Tadepalli, Thoma...
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
14 years 3 months ago
Heart surface motion estimation framework for robotic surgery employing meshless methods
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...