Sciweavers

4870 search results - page 184 / 974
» Construction of Wavelets and Applications
Sort
View
SPIRE
1999
Springer
15 years 10 months ago
Design Patterns for Collaborative Systems
Collaborative applications provide a group of users with the facility to communicate and share data in a coordinate way. In this paper we propose a pattern system to design the ba...
Luis A. Guerrero, David A. Fuller
BIRTHDAY
2003
Springer
15 years 11 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
AMAST
2004
Springer
15 years 10 months ago
A Formally Verified Calculus for Full Java Card
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
Kurt Stenzel
GCC
2003
Springer
15 years 11 months ago
MASON: A Model for Adapting Service-Oriented Grid Applications
Service-oriented computing, which offers more flexible means for application development, is gaining popularity. Service-oriented grid applications are constructed by selecting and...
Gang Li, Jianwu Wang, Jing Wang 0002, Yanbo Han, Z...
MUE
2008
IEEE
144views Multimedia» more  MUE 2008»
16 years 28 days ago
Toward a Message-Oriented Application Model and its Middleware Support in Ubiquitous Environments
Context-awareness has become a distinguishing feature of Ubiquitous systems. Contrary to desktop and web applications, Ubiquitous applications gather environmental context and pro...
Chun-Feng Liao, Ya-Wen Jong, Li-Chen Fu