7861 search results - page 37 / 1573 » Orthographic Modeling Environment |
133
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
138
click to vote
FIRSTMONDAY
2010
15 years 1 months ago
2010
Traditional "realistic" theories of social action, whether based on the individual gain heuristics of capitalism or the collective class struggles of communism, cannot e...
137
Voted
VRST
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
104
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper describes novel method of path loss modeling for radio communication channels in container port area. Multi-variate empirical model is presented, based on multidimen...
108
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...