3828 search results - page 64 / 766 » Proof-Based System Engineering Using a Virtual System Model |
120
click to vote
WAIM
2005
Springer
15 years 8 months ago
2005
Springer
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
111
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
129
click to vote
AOSE
2004
Springer
15 years 7 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
119
click to vote
SG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
137
click to vote
HAPTICS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...