6722 search results - page 202 / 1345 » The DSML4MAS development environment |
127
Voted
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
139
Voted
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
The goal of the MavHome project is to develop technologies to Manage Adaptive Versatile environments. In this paper, we present a complete agent architecture for a single inhabita...
161
click to vote
C5
2003
IEEE
15 years 10 months ago
2003
IEEE
A machine cycle CPU simulator is developed on the Squeak environment for educational use. The developed simulator is able to show hardware behavior in CPU at each system clock. An...
148
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
156
Voted
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...