Sciweavers

1392 search results - page 76 / 279
» A Calculus for Dynamic Linking
Sort
View
FMOODS
2006
13 years 10 months ago
Mobility Mechanisms in Service Oriented Computing
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
Claudio Guidi, Roberto Lucchi
LMO
1996
13 years 10 months ago
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
IJVR
2008
137views more  IJVR 2008»
13 years 9 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
JSW
2007
119views more  JSW 2007»
13 years 8 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
PODS
1994
ACM
138views Database» more  PODS 1994»
14 years 1 months ago
Dyn-FO: A Parallel, Dynamic Complexity Class
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
Sushant Patnaik, Neil Immerman