2705 search results - page 260 / 541 » Formal Ontology for Subject |
SGP
2003
13 years 9 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...
WOA
2000
13 years 9 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
DLOG
2009
13 years 9 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...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...