12333 search results - page 631 / 2467 » System Level Modelling for Hardware Software Systems |
223
click to vote
WSC
1997
15 years 8 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
159
click to vote
CAMP
2005
IEEE
16 years 24 days ago
2005
IEEE
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...
176
click to vote
WETICE
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
163
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
176
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...