44 search results - page 4 / 9 » Toward a Model-Based Approach to the Specification of Virtua... |
RE
2001
Springer
14 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
CGI
2001
IEEE
14 years 7 days ago
2001
IEEE
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...
ENTCS
2008
13 years 8 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
PROMS
2001
Springer
14 years 1 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...