Search Results for "alpha linux"

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...

PerLa project aims at defining a full declarative high level language that allows to query a pervasive system, hiding the difficulties related to the need of handling different technologies.

Open Source project for the development of the IEEE 11073-20601 reference implementation.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

A system that allows people to open doors by using a Bluetooth enabled phone or other device.

Android tools for MediaTEK MT53XX Serial Chips

This project intends to issue a universal remote controller based on Bluetooth connectivity. The client side runs on every mobile phones supporting Java ME. Many applications can be controlled on the host, as long as they furnish a D-Bus interface.

Titan allows service-oriented processing of context recognition applications on Wireless Sensor Networks. It includes an execution environment developed for TinyOS and a Java ME (Personal Profile) Network Manager intended to be run on a mobile phone.