1336 search results - page 93 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
155
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
124
Voted
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
124
Voted
ECBS
2008
IEEE
15 years 10 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
141
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
127
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...