1583 search results - page 240 / 317 » Engineering Executable Agents using Multi-context Systems |
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
CGO
2003
IEEE
14 years 3 months ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
HPDC
1999
IEEE
14 years 2 months ago
1999
IEEE
A significant number of new Java-based technologies for mobile code (aka agents) have recently emerged. The 'Aglets' system, from IBM's research labs, provides an e...
RTCSA
2007
IEEE
14 years 4 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...