500 search results - page 85 / 100 » Quantified Conditionals and Compositionality |
ACMACE
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a case study of VR platform Magic Mirror and its applications that are economic in development process and cost, flexible by contents and installation conditi...
ISWC
2002
IEEE
14 years 20 days ago
2002
IEEE
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
CSFW
1999
IEEE
14 years 2 days ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
ICCAD
1996
IEEE
13 years 12 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...