3954 search results - page 432 / 791 » Image-based Model Completion |
125
click to vote
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
303
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...
135
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
144
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...