Sciweavers

339 search results - page 11 / 68
» Universality Results for Models in Locally Boolean Domains
Sort
View
STACS
2010
Springer
14 years 3 months ago
Intrinsic Universality in Self-Assembly
We show that the Tile Assembly Model exhibits a strong notion of universality where the goal is to give a single tile assembly system that simulates the behavior of any other tile...
David Doty, Jack H. Lutz, Matthew J. Patitz, Scott...
SEKE
2009
Springer
14 years 3 months ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser
COMPLEX
2009
Springer
13 years 6 months ago
Temperature-Induced Domain Shrinking in Ising Ferromagnets Frustrated by a Long-Range Interaction
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...
Alessandro Vindigni, Oliver Portmann, Niculin Sara...
MIE
2008
140views Healthcare» more  MIE 2008»
13 years 10 months ago
Clinical Processes in an Innovative Vascular Surgeon Community. Implications for Workflow Modeling
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
Berit Brattheim, Andreas R. Seim, Arild Faxvaag
JLP
2010
85views more  JLP 2010»
13 years 3 months ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu