373 search results - page 12 / 75 » Explicitly Modelling Model Debugging Environments |
IPOM
2009
Springer
14 years 4 months ago
2009
Springer
The operational model for large Internet service providers is moving to a multi-layer architecture consisting of IP/MPLS coupled with OTN/DWDM. While there has been significant wo...
DISCO
1993
14 years 1 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
HCI
2009
13 years 7 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
KES
2005
Springer
14 years 3 months ago
2005
Springer
One of the limitations of the BDI (Belief-Desire-Intention) model is the lack of any explicit mechanisms within the architecture to be able to learn. In particular, BDI agents do n...