893 search results - page 99 / 179 » Modeling reactive systems in Java |
151
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...
136
click to vote
AAMAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
118
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
147
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...
156
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...