126 search results - page 12 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
112
click to vote
CHI
2009
ACM
16 years 7 days ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
86
Voted
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...
101
Voted
APN
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
91
Voted
SFM
2007
Springer
15 years 5 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
111
click to vote
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...