Sciweavers

1648 search results - page 168 / 330
» Structuring namespace descriptions
Sort
View
LICS
2009
IEEE
15 years 11 months ago
Pointer Programs and Undirected Reachability
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
Martin Hofmann, Ulrich Schöpp
DEBS
2009
ACM
15 years 11 months ago
Distributed agent environments in the Ambient Event Calculus
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Stefano Bromuri, Kostas Stathis
MOMPES
2008
IEEE
15 years 10 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
ISBI
2007
IEEE
15 years 10 months ago
An Iterative Method for Registration of High-Resolution Cardiac Histoanatomical and Mri Images
Cardiac computational models of electrical conduction, mechanical activation, hemodynamics and metabolism require detailed information about the structural arrangement of function...
Tahier Mansoori, Gernot Plank, Rebecca Burton, J&u...
DEXAW
2006
IEEE
111views Database» more  DEXAW 2006»
15 years 10 months ago
Finding Syntactic Similarities Between XML Documents
Detecting structural similarities between XML documents has been the subject of several recent work, and the proposed algorithms mostly use tree edit distance between the correspo...
Davood Rafiei, Daniel L. Moise, Dabo Sun