Sciweavers

3106 search results - page 194 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
IEEESCC
2005
IEEE
15 years 10 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
IPPS
1998
IEEE
15 years 9 months ago
Memory Space Representation for Heterogeneous Network Process Migration
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
Kasidit Chanchio, Xian-He Sun
WDAG
1993
Springer
98views Algorithms» more  WDAG 1993»
15 years 8 months ago
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
Cheng Wu, Gregor von Bochmann, Ming Yu Yao
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 8 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
WSC
2007
15 years 7 months ago
Visualization of users' activities in a specific environment
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
Zdenek Mikovec, Ivo Malý, Pavel Slaví...