11462 search results - page 89 / 2293 » Developing Application-Centric Methods |
133
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
134
click to vote
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
111
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper outlines the theoretical concept of a study currently under way in China. Its main idea is to explore the sustainability of centralized inter-organizational systems for...
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
113
Voted
VR
2000
IEEE
15 years 7 months ago
2000
IEEE
In the paper, we describe a series of stages in the development of a new virtual locomotion device designed to enhance remote, interpersonal communications. The latest system, cal...