Sciweavers

3147 search results - page 225 / 630
» Open-Source Model Checking
Sort
View
TRIDENTCOM
2008
IEEE
15 years 9 months ago
A 3GPP system architecture evolution virtualized experimentation infrastructure for mobility prototyping
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...
Miguel Gómez Rodríguez, Fermí...
IPPS
2007
IEEE
15 years 9 months ago
Low-Overhead LogGP Parameter Assessment for Modern Interconnection Networks
Network performance measurement and prediction is very important to predict the running time of high performance computing applications. The LogP model family has been proven to b...
Torsten Hoefler, Andre Lichei, Wolfgang Rehm
CICLING
2007
Springer
15 years 9 months ago
Adapting the JIRS Passage Retrieval System to the Arabic Language
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
Yassine Benajiba, Paolo Rosso, José Manuel ...
CONIELECOMP
2006
IEEE
15 years 9 months ago
Integrating Advanced GLSL Shading and XML Agents into a Learning-Oriented 3D Engine
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
Edgar Velázquez-Armendáriz, Erik Mil...
ISPDC
2005
IEEE
15 years 8 months ago
A Component-based Software Infrastructure for Ubiquitous Computing
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
Areski Flissi, Christophe Gransart, Philippe Merle