612 search results - page 19 / 123 » Division for Foundation of Software |
87
Voted
CHI
2004
ACM
16 years 2 months ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...
142
click to vote
SIES
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
WSC
1997
15 years 3 months ago
1997
This paper describes how the Visual Simulation Environment (VSE) technology has been transferred into a commercial product. The VSE has been created under research funding, primar...
125
Voted
FOIKS
2004
Springer
15 years 7 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
96
Voted
JCIT
2008
15 years 1 months ago
2008
The paper discusses the innovative patterns such as subtraction, multiplication, division, task unification and attribute dependency change for evaluating the software architectur...