893 search results - page 31 / 179 » Modeling reactive systems in Java |
355
Voted
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
137
Voted
SCP
2008
15 years 2 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...
139
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
111
Voted
SCW
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
114
click to vote
GAMEON
2003
15 years 4 months ago
2003
We introduce a real-time character animation system which is currently used in an augmented reality environment for the fast creation of simple character behaviour. By placing and...