3147 search results - page 225 / 630 » Open-Source Model Checking |
138
click to vote
TRIDENTCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
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 ...
108
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
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...
105
click to vote
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
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...
191
click to vote
CONIELECOMP
2006
IEEE
15 years 9 months ago
2006
IEEE
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...
118
click to vote
ISPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...