10159 search results - page 1738 / 2032 » System Design Validation Using Formal Models |
178
Voted
HAPTICS
2006
IEEE
16 years 22 days ago
2006
IEEE
The purpose of the Virtual Haptic Back (VHB) project is to develop a realistic haptic/graphical model of the human back that can be used for palpation (diagnosis though touch) in ...
201
click to vote
VLUDS
2010
15 years 1 months ago
2010
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
188
Voted
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The emerging edge services architecture promises to improve the availability and performance of web services by replicating servers at geographically distributed sites. A key chal...
142
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
Efforts have been put for electronization of complementary currencies (alternative forms of monetary media) in the hope that it would reduce their operational cost. However, this ...
211
click to vote
MIDDLEWARE
2005
Springer
16 years 5 days ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...