5634 search results - page 35 / 1127 » About Abstract Classes |
116
click to vote
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
114
click to vote
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
GRID
2003
Springer
15 years 3 months ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
ANTS
1998
Springer
15 years 2 months ago
1998
Springer
d Abstract) Michael J. Jacobson, Jr. Technische Universit
ICSE
1993
IEEE-ACM
15 years 2 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...