Sciweavers

4346 search results - page 572 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
CSMR
2004
IEEE
15 years 8 months ago
Refactoring Web sites to the Controller-Centric Architecture
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
Yu Ping, Kostas Kontogiannis
WWW
2005
ACM
16 years 5 months ago
Constructing extensible XQuery mappings
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
Gang Qian, Yisheng Dong
WSC
1998
15 years 5 months ago
Simulation and Production Planning for Manufacturing Cells
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
Shahram Taj, David S. Cochran, James W. Duda, Joch...
ENTCS
2006
155views more  ENTCS 2006»
15 years 4 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler