Sciweavers

304 search results - page 4 / 61
» Semantic Argumentation in Dynamic Environments
Sort
View
SAC
2010
ACM
14 years 3 months ago
Coordination in open and dynamic environments with TuCSoN semantic tuple centres
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
TOSEM
2010
57views more  TOSEM 2010»
13 years 6 months ago
Semantic self-assessment of query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roma...
ICFP
2005
ACM
14 years 8 months ago
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
Xinyu Feng, Zhong Shao
ICSE
2004
IEEE-ACM
14 years 1 months ago
Semantics-Aware Services for the Mobile Computing Environment
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tart...