605 search results - page 64 / 121 » Java Multi-Method Framework |
APN
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
ENTCS
2007
13 years 9 months ago
2007
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
JCP
2008
13 years 9 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...