351 search results - page 27 / 71 » A Real-Time Java Component Model |
141
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
120
Voted
ISPAN
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
107
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
124
click to vote
SEUS
2007
IEEE
15 years 8 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
103
click to vote
FUIN
2006
15 years 2 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...