893 search results - page 97 / 179 » Modeling reactive systems in Java |
131
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
119
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
125
click to vote
SOCO
2005
Springer
15 years 10 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...
135
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
135
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...