1774 search results - page 237 / 355 » Modeling and implementing software architecture with acme an... |
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
IUI
1998
ACM
14 years 1 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
IFIP
2007
Springer
14 years 3 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...
OTM
2007
Springer
14 years 3 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...
HAPTICS
2005
IEEE
14 years 2 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...