Sciweavers

22114 search results - page 293 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
RTSS
1999
IEEE
15 years 11 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
IJON
2008
186views more  IJON 2008»
15 years 7 months ago
Computational analysis and learning for a biologically motivated model of boundary detection
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
Iasonas Kokkinos, Rachid Deriche, Olivier D. Fauge...
VMV
2001
158views Visualization» more  VMV 2001»
15 years 8 months ago
Compression of Large 3D Engineering Models using Automatic Discovery of Repeating Geometric Features
In this paper, we present a new geometry compression technique particularly suitable for 3D mesh models of engineering class
Dinesh Shikhare, Sushil Bhakar, Sudhir P. Mudur
BDA
2001
15 years 8 months ago
Self-coordinated and self-traced dynamic composite services
The growth of Internet technologies has unleashed a wave of innovations that are having tremendous impact on the way organisations interact with their partners and customers. It h...
Marie-Christine Fauvet, Boualem Benatallah, Marlon...
PERCOM
2005
ACM
16 years 24 days ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
Jari Forstadius, Ora Lassila, Tapio Seppänen