878 search results - page 85 / 176 » What's ahead in computer design |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
SOFTWARE
1998
13 years 8 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
SIGDIAL
2010
13 years 6 months ago
2010
The Workbench for Intelligent exploraTion of Human ComputeR conversaTions is a new platform-independent open-source workbench designed for the analysis, mining and management of l...
GROUP
2009
ACM
14 years 3 months ago
2009
ACM
As a foundation for the design of groupware, we need a new science of group interaction, a systematic description of the processes at the group level of description that may contr...