4917 search results - page 293 / 984 » Software Engineering is Not Computer Science |
92
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
138
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
112
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
122
Voted
EDBTW
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we thoroughly analyze a distributed procedure for the problem of local database update in a network of database peers, useful for data exchange scenarios. The algorit...
108
Voted
AC
2003
Springer
15 years 9 months ago
2003
Springer
Peer-to-peer systems are positioned to take advantage of gains in network bandwidth, storage capacity, and computational resources to provide long-term durable storage infrastruct...