Sciweavers

2127 search results - page 363 / 426
» Software Automation
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 4 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
EICS
2009
ACM
14 years 4 months ago
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications
In this paper we present a software toolkit for deploying peer-topeer distributed graphical user interfaces across four dimensions: multiple displays, multiple platforms, multiple...
Jérémie Melchior, Donatien Grolaux, ...
VRST
2009
ACM
14 years 4 months ago
3D object arrangement for novice users: the effectiveness of combining a first-person and a map view
Arranging 3D objects in Virtual Environments can be a complex, error prone and time consuming task, especially for users who are not familiar with interfaces for 3D navigation and...
Luca Chittaro, Roberto Ranon, Lucio Ieronutti
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
14 years 4 months ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver
DSD
2008
IEEE
165views Hardware» more  DSD 2008»
14 years 4 months ago
Application Analysis for Parallel Processing
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
Muhammad Rashid, Damien Picard, Bernard Pottier