3522 search results - page 404 / 705 » Modeling and Aspect Weaving |
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 ...
157
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...
189
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...
142
click to vote
IJON
2002
15 years 6 months ago
2002
Neocortical neurons in vivo operate in a high-conductance state which may a ect the dynamics of dendritic integration, but this aspect remains only barely characterized. We invest...
147
click to vote
COMGEO
1999
ACM
15 years 6 months ago
1999
ACM
Many algorithms for reducing the number of triangles in a surface model have been proposed, but to date there has been little theoretical analysis of the approximations they produ...