347 search results - page 59 / 70 » Abstract User Interfaces: A Model and Notation to Support Pl... |
CANS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
PROMS
2001
Springer
13 years 11 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
JAR
2006
13 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
14 years 18 days ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...