Sciweavers

3328 search results - page 413 / 666
» On Plateaued Functions and Their Constructions
Sort
View
MODELS
2009
Springer
16 years 1 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
PVM
2009
Springer
16 years 1 months ago
Processing MPI Datatypes Outside MPI
The MPI datatype functionality provides a powerful tool for describing structured memory and file regions in parallel applications, enabling noncontiguous data to be operated on b...
Robert B. Ross, Robert Latham, William Gropp, Ewin...
TLCA
2009
Springer
16 years 1 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
AINA
2008
IEEE
16 years 1 months ago
VR BBS Using Immersive Virtual Environment
In this research, VR BBS was developed. In this system, a user can post a photograph with a comment from cellular phone. And the users can see and reply to the photograph and comm...
Satoshi Oonuki, Tetsuro Ogi
CDC
2008
IEEE
151views Control Systems» more  CDC 2008»
16 years 1 months ago
Analysis of hybrid systems resulting from relay-type hysteresis and saturation: A Lyapunov approach
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
Dan Dai, Ricardo G. Sanfelice, Tingshu Hu, Andrew ...