Sciweavers

11168 search results - page 1481 / 2234
» Abstract State Processes
Sort
View
REX
1993
15 years 11 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 11 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
E4MAS
2006
Springer
15 years 10 months ago
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Lu...
FASE
2006
Springer
15 years 10 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi
WCRE
1997
IEEE
15 years 10 months ago
Reverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
Ira D. Baxter, Michael Mehlich
« Prev « First page 1481 / 2234 Last » Next »