4126 search results - page 133 / 826 » Relationships with other Formalisms |
182
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
153
click to vote
ICFCA
2007
Springer
16 years 16 days ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
176
click to vote
UIC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
134
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
149
click to vote
HPCS
2007
IEEE
16 years 21 days ago
2007
IEEE
In the context of computational grids, a metascheduler is the service responsible for scheduling jobs across many geographically distributed processor clusters. Typically, these s...