Sciweavers

1866 search results - page 339 / 374
» Dynamic instantiation-checking components
Sort
View
CISS
2007
IEEE
15 years 1 months ago
Quantum Switching Networks with Classical Routing
— Flexible distribution of data in the form of quantum bits (qubits) amongst spatially separated entities is an essential component of envisioned scalable quantum computing archi...
Rahul Ratan, Manish Kumar Shukla, A. Yavuz Oru&cce...
DOCENG
2008
ACM
15 years 1 months ago
Enabling adaptive time-based web applications with SMIL state
In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates the major structure, and that require int...
Jack Jansen, Dick C. A. Bulterman
EMSOFT
2008
Springer
15 years 1 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
DASFAA
2010
IEEE
307views Database» more  DASFAA 2010»
15 years 1 months ago
A General Maturity Model and Reference Architecture for SaaS Service
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
Seungseok Kang, Jaeseok Myung, Jongheum Yeon, Seon...
106
Voted
INFOSCALE
2007
ACM
15 years 1 months ago
An agent-based decentralised process management framework for web service composition
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
Jun Yan, Phillip Pidgeon, Aneesh Krishna, Jianming...