https://soft.vub.ac.be/amop/ 2026-04-19T10:12:45+00:00 https://soft.vub.ac.be/amop/ https://soft.vub.ac.be/amop/_media/wiki/dokuwiki-128.png text/html 2010-07-31T14:23:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://soft.vub.ac.be/amop/crime/download?rev=1280586196&do=diff CRIME CRIME is a research artifact developed at the Software Languages Lab which can be best described as 'a coordination language for mobile devices'. The language has been designed as a declarative medium to describe how applications should adapt to changes in its immediate environment. The language is used as a research artifact to study optimization techniques and coordination using temporal logics, yet it is also used to develop realistic scenarios. text/html 2007-03-29T21:06:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://soft.vub.ac.be/amop/crime/examples?rev=1175202377&do=diff Example Applications The CRIME distribution comes with a suite of example applications, most of which are implemented in Java. This page describes the provided applications, how to deploy them, describes the rules they use internally and provides pointers on how to extend them. text/html 2009-11-30T15:59:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://soft.vub.ac.be/amop/crime/factspaces?rev=1259596758&do=diff Fact Space Model The Fact Space model is a coordination model which provides applications with a federated fact space: a distributed knowledge base containing logic facts which are implicitly made available for all devices within reach. Consequently, when an application asserts a fact in the federated fact space, other devices that are within earshot can see the fact and react to its appearance. text/html 2010-07-31T14:08:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://soft.vub.ac.be/amop/crime/introduction?rev=1280585313&do=diff Introduction to CRIME CRIME (Consistent Reasoning in a Mobile Environment) is a logic-based coordination language, which was developed by Christophe Scholliers and Eline Philips during their master thesis. CRIME implements the Fact Space Model, which was designed by Christophe and Eline in collaboration with their supervisors Stijn Mostinckx and Charlotte Herzeel. text/html 2011-06-02T10:51:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://soft.vub.ac.be/amop/crime/sunspot?rev=1307011916&do=diff CrimeSPOT CRIME has been ported for wireless sensor networks. In this project we have used sunspots, small nodes equipped with sensors and wireless communication. Every node sends events over the network which can be received by one or more nodes within communication range. Writing applications which are driven by external events is significantly different from writing traditional sequential programs or algorithms. When applications are driven by external events, the control flow of these appl…