Sciweavers

1096 search results - page 123 / 220
» Towards a Solution to the
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Extra Variables Can Be Eliminated from Functional Logic Programs
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
Javier de Dios Castro, Francisco Javier Lóp...
SIGMOBILE
2008
98views more  SIGMOBILE 2008»
15 years 6 months ago
TraNS: realistic joint traffic and network simulator for VANETs
Realistic simulation is a necessary tool for proper evaluation of newly developed protocols for Vehicular Ad Hoc Networks (VANETs). Several recent efforts focused on achieving thi...
Michal Piórkowski, Maxim Raya, A. Lezama Lu...
ICWE
2010
Springer
15 years 4 months ago
A Triple Space-Based Semantic Distributed Middleware for Internet of Things
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
Aitor Gómez-Goiri, Diego López-de-Ip...
NC
2010
146views Neural Networks» more  NC 2010»
15 years 4 months ago
Petri nets for modelling metabolic pathways: a survey
Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta...
SOCIALCOM
2010
15 years 4 months ago
A Private and Reliable Recommendation System for Social Networks
Abstract--With the proliferation of internet-based social networks into our lives, new mechanisms to control the release and use of personal data are required. As a step toward thi...
T. Ryan Hoens, Marina Blanton, Nitesh V. Chawla