2060 search results - page 210 / 412 » The Composition of Event-B Models |
150
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
169
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
More and more product development projects involve geographically distributed groups of developers. One problem in such groups is the long term lack of awareness of the activities ...
210
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
182
click to vote
DLOG
2009
15 years 7 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
175
click to vote
NAACL
2010
15 years 4 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...