Sciweavers

3771 search results - page 666 / 755
» Subobject Transformation Systems
Sort
View
JUCS
2008
116views more  JUCS 2008»
15 years 2 months ago
A Workflow Language for Web Automation
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
Paula Montoto, Alberto Pan, Juan Raposo, Jos&eacut...
JWSR
2008
241views more  JWSR 2008»
15 years 2 months ago
A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Architecture
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
ENGL
2007
179views more  ENGL 2007»
15 years 2 months ago
Wearable Real-Time Stereo Vision for the Visually Impaired
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...
G. Balakrishnan, G. Sainarayanan, R. Nagarajan, Sa...
ENTCS
2007
174views more  ENTCS 2007»
15 years 2 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
99
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 2 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...