288 search results - page 48 / 58 » A Case Study for Aspect Based Updating |
CL
2007
Springer
13 years 7 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
AIS
2000
Springer
13 years 7 months ago
2000
Springer
: In this paper I put forward a reconstruction of the evolution of certain explanatory hypotheses on the neural basis of association and learning that are the premises of connectio...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...