887 search results - page 52 / 178 » A Science of Reasoning |
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
PDC
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes how a set of participatory design methodologies have been introduced to and adopted for museum exhibition design. It provides a brief historical account of mu...
GI
2004
Springer
14 years 2 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
CSE
2009
IEEE
14 years 6 days ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...