Sciweavers

2542 search results - page 199 / 509
» An Operational Definition of Context
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IEEESCC
2009
IEEE
15 years 4 months ago
Theoretical Framework for Eliminating Redundancy in Workflows
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
Dhrubajyoti Saha, Abhishek Samanta, Smruti R. Sara...
SIAMADS
2010
92views more  SIAMADS 2010»
15 years 1 months ago
Weak Stability Boundary and Invariant Manifolds
The concept of weak stability boundary has been successfully used in the design of several fuel efficient space missions. In this paper we give a rigorous definition of the weak st...
Edward Belbruno, Marian Gidea, Francesco Topputo
AUSAI
2006
Springer
15 years 10 months ago
Automatic Generation of Funny Cartoons Diary for Everyday Mobile Life
Abstract. The notable developments in pervasive and wireless technology enable us to collect enormous sensor data from each individual. With contextaware technologies, these data c...
Injee Song, Myung-Chul Jung, Sung-Bae Cho
JMM2
2008
107views more  JMM2 2008»
15 years 6 months ago
Dynamic Generation of SMIL-Based Multimedia Interfaces
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
José Manuel Oliveira, Eurico Carrapatoso