1837 search results - page 163 / 368 » Architecture = Abstractions over Software |
131
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
87
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
105
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
139
Voted
ADAEUROPE
2010
Springer
15 years 5 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...