77016 search results - page 583 / 15404 » Modelling |
156
click to vote
WECWIS
2008
IEEE
16 years 1 months ago
2008
IEEE
To keep an overview on complex E-Commerce collaborations several models are used to describe them. When models overlap in describing a collaboration, the overlapping information s...
188
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
187
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
187
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Creating accurate haptic models of physical devices is critical to improving the realism and immersiveness of virtual environments. This paper addresses the problem of modeling th...
165
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...