2836 search results - page 502 / 568 » Model Checking for Software Architectures |
215
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
136
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
182
Voted
HAPTICS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...
193
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
135
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...