1669 search results - page 184 / 334 » Modeling ODP Computational Specifications Using UML |
140
click to vote
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
134
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
121
click to vote
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
125
Voted
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
149
Voted
EMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...