11017 search results - page 378 / 2204 » Closure Systems and their Structure |
168
click to vote
HOLOMAS
2003
Springer
16 years 2 days ago
2003
Springer
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
223
click to vote
ISAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
168
click to vote
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
167
click to vote
ICDE
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, a method of handling both access frequency skew and data amount skew on a distributed parallel storage system under version management system is discussed. We assum...
133
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We propose a novel structure, the data-sharing graph, for characterizing sharing patterns in large-scale data distribution systems. We analyze this structure in two such systems a...