247 search results - page 49 / 50 » Development graphs - Proof management for structured specifi... |
JCISE
2002
13 years 5 months ago
2002
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
IUI
2003
ACM
13 years 11 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
EWSPT
2001
Springer
13 years 10 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
ELPUB
2007
ACM
13 years 10 months ago
2007
ACM
The European Accessible Information Network (EUAIN) was established to support the move to incorporate accessibility within mainstream content processing environments. EUAIN has b...
AIRWEB
2008
Springer
13 years 8 months ago
2008
Springer
The annotation of web sites in social bookmarking systems has become a popular way to manage and find information on the web. The community structure of such systems attracts spam...