Sciweavers

3828 search results - page 147 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
SEKE
2005
Springer
15 years 11 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark...
WCRE
2002
IEEE
15 years 11 months ago
Generation of Architectural Documentation Using XML
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
Claudio Riva, Yaojin Yang
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
AUIC
2006
IEEE
16 years 9 days ago
Augmented interiors with digital camera images
In this paper, we present a system for Augmented Reality interior design based on digital images. The system can be used with an ordinary PC and a digital camera: no special equip...
Sanni Siltanen, Charles Woodward
WSC
2000
15 years 7 months ago
Virtual machines for message based, real-time and interactive simulation
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
Hansoo Kim, Chen Zhou, Hua X. Du