8083 search results - page 1365 / 1617 » A Formalization of Software Architecture |
184
click to vote
WISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
176
click to vote
WPES
2005
ACM
16 years 6 days ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
172
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
173
click to vote
CC
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
165
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...