6762 search results - page 330 / 1353 » Multiple drafts model |
160
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
159
click to vote
SMA
2005
ACM
16 years 8 days ago
2005
ACM
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...
188
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
181
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
176
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...