660 search results - page 25 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
139
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
134
click to vote
VL
1991
IEEE
15 years 5 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
123
click to vote
RE
1997
Springer
15 years 6 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
139
click to vote
JUCS
2000
15 years 2 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
128
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...