Sciweavers

3281 search results - page 234 / 657
» An Approach to use Executable Models for Testing
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 1 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
IPPS
2007
IEEE
15 years 10 months ago
Stochastic Approach to Scheduling Multiple Divisible Tasks on a Heterogeneous Distributed Computing System
Heterogeneity has been considered in scheduling, but without taking into account the temporal variation of completion times of the sub-tasks for a divisible, independent task. In ...
Ankur Kamthe, Soo-Young Lee
MICCAI
1999
Springer
15 years 8 months ago
Optimization Approaches for Soft-Tissue Prediction in Craniofacial Surgery Simulation
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
Matthias Teschner, Sabine Girod, Bernd Girod
ICDAR
2009
IEEE
15 years 10 months ago
Seal Detection and Recognition: An Approach for Document Indexing
Reliable indexing of documents having seal instances can be achieved by recognizing seal information. This paper presents a novel approach for detecting and classifying such multi...
Partha Pratim Roy, Umapada Pal, Josep Lladó...
124
Voted
SAINT
2003
IEEE
15 years 9 months ago
A Proposal of the Person-centered Approach for Personal Task Management
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...
Ikki Ohmukai, Hideaki Takeda, Mitsunori Miki