527 search results - page 84 / 106 » Towards a Natural Way of Reasoning |
ICSE
1998
IEEE-ACM
14 years 19 days ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
CONCUR
1997
Springer
14 years 18 days ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
TAPSOFT
1997
Springer
14 years 17 days ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
EDOC
2004
IEEE
14 years 5 days ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
CSCW
2008
ACM
13 years 10 months ago
2008
ACM
A proliferation of mobile devices in everyday life has increased the likelihood of technologically mediated interruptions. We examine ethnographic data from an SMSbased pervasive ...