Sciweavers

4543 search results - page 501 / 909
» Interactive Distributed Configuration
Sort
View
CSCWD
2008
Springer
15 years 8 months ago
Sharing of CAD assembly model data using parallel Web Services
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
Byungchul Kim, Soonhung Han
DALT
2008
Springer
15 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
192
Voted
JISBD
2001
15 years 8 months ago
Migration of Legacy Systems to the Web
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...
Cristina Cachero, Jaime Gómez, Antonio P&aa...
SAM
2004
98views Hardware» more  SAM 2004»
15 years 8 months ago
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Bill Mitchell, Robert Thomson, Paul Bristow
WSC
2004
15 years 8 months ago
Developing Federation Object Models Using Ontologies
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
Tarun Rathnam, Christiaan J. J. Paredis