3056 search results - page 404 / 612 » Compiling Embedded Languages |
201
click to vote
SIES
2007
IEEE
16 years 22 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
194
click to vote
WORDS
2005
IEEE
16 years 1 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
202
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
148
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
Versatile physical and behavioral features as well as their exploitation through computation-power onboard the robot-players are feasible and necessary goals for the RoboCup small ...
173
Voted
CARDIS
1998
Springer
15 years 10 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...