1027 search results - page 87 / 206 » A Model for Java with Wildcards |
157
click to vote
SEFM
2007
IEEE
16 years 14 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
147
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
139
click to vote
IPPS
2006
IEEE
16 years 6 days 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...
152
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
176
click to vote
TOOLS
1999
IEEE
15 years 10 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...