4460 search results - page 490 / 892 » Formal methods for interactive systems |
210
click to vote
FORMATS
2004
Springer
16 years 4 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
155
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
189
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
193
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
180
click to vote
ICECCS
2005
IEEE
16 years 11 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...