3435 search results - page 412 / 687 » Aspect Model Unweaving |
188
click to vote
JUCS
2008
15 years 6 months ago
2008
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...
156
click to vote
STTT
2008
15 years 6 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
186
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, me...
171
click to vote
TSP
2011
15 years 1 months ago
2011
—This paper presents an extended target tracking framework which uses polynomials in order to model extended objects in the scene of interest from imagery sensor data. State spac...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The recent upsurge of research toward compressive sampling and parsimonious signal representations hinges on signals being sparse, either naturally, or, after projecting them on a...