1636 search results - page 269 / 328 » Type-Theoretic Functional Semantics |
106
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
IWNAS
2008
IEEE
15 years 6 months ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
103
click to vote
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...