5227 search results - page 436 / 1046 » Enterprise modeling using class and instance models |
198
click to vote
UML
2004
Springer
16 years 29 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
255
click to vote
SOSYM
2010
15 years 6 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
173
click to vote
MOBIHOC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we revisit two classes of mobility models which are widely used to represent users' mobility in wireless networks: Random Waypoint (RWP) and Random Direction (R...
216
click to vote
TIP
2008
15 years 7 months ago
2008
Significant appearance changes of objects under different orientations could cause loss of tracking, "drifting." In this paper, we present a collaborative tracking framew...
231
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...