2446 search results - page 54 / 490 » Principles of dataspace systems |
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
144
Voted
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
123
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
112
Voted
AML
2006
15 years 2 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
99
Voted
COMBINATORICS
1998
15 years 2 months ago
1998
Based on a recent improvement of the inclusion-exclusion principle, we present a new approach to network reliability problems. In particular, we give a new proof of a result of Sh...