3130 search results - page 397 / 626 » Design Correctness of Digital Systems |
224
click to vote
AOSE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
161
click to vote
HIPEAC
2005
Springer
16 years 4 days ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...
182
click to vote
DOLAP
2004
ACM
16 years 1 days ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
192
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
187
click to vote
AIPS
1996
15 years 8 months ago
1996
Learning from experimentation allows a system to acquire planning domain knowledge by correcting its knowledge when an action execution fails. Experiments are designed and planned...