12774 search results - page 236 / 2555 » A Framework for Proof Systems |
150
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we discuss the role of a broker in a market-oriented resource allocation model for largescale heterogeneous systems. The simplified model is based upon a three part...
170
Voted
ER
2004
Springer
16 years 19 hour ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
153
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
270
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- In a high-end database system, the execution concurrency level rises continuously in a multiprocessor environment due to the increase in number of concurrent transaction...
203
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...