769 search results - page 107 / 154 » The Real-Time Specification for Java |
134
click to vote
ENTCS
2008
15 years 2 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
131
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...
107
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
142
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
103
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...