Sciweavers

1893 search results - page 317 / 379
» Computational composites
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
14 years 2 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
14 years 2 months ago
Service-Oriented Software Reengineering: SoSR
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
Sam Chung, Joseph Byung Chul An, Sergio Davalos
ICC
2007
IEEE
14 years 2 months ago
Modulation Schemes Based on Orthogonal Pulses for Time Hopping Ultra Wideband Radio Systems
— This paper describes a combined modulation scheme for time hopping ultra wideband (TH-UWB) radio systems using on-off keying (OOK) and pulse shape modulation (PSM). For this sc...
Sudhan Majhi, A. S. Madhukumar, A. Benjamin Premku...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 2 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
IEEEPACT
2007
IEEE
14 years 2 months ago
Automatic Correction of Loop Transformations
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
Nicolas Vasilache, Albert Cohen, Louis-Noël P...