Sciweavers

2757 search results - page 176 / 552
» On separating systems
Sort
View
154
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 4 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
238
Voted
MEMBRANE
2005
Springer
15 years 10 months ago
Boolean Circuits and a DNA Algorithm in Membrane Computing
In the present paper we propose a way to simulate Boolean gates and circuits in the framework of P systems with active membranes using inhibiting/de-inhibiting rules. This new appr...
Mihai Ionescu, Tseren-Onolt Ishdorj
135
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
SPAA
2012
ACM
13 years 7 months ago
Allowing each node to communicate only once in a distributed system: shared whiteboard models
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...
Florent Becker, Adrian Kosowski, Nicolas Nisse, Iv...
MIS
2008
Springer
149views Multimedia» more  MIS 2008»
15 years 4 months ago
Home-Explorer: Ontology-based physical artifact search and hidden object detection system
A new system named Home-Explorer that searches and finds physical artifacts in a smart indoor environment is proposed. The view on which it is based is artifact-centered and uses s...
Bin Guo, Satoru Satake, Michita Imai