5343 search results - page 247 / 1069 » Keyword programming in java |
134
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
134
click to vote
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...
111
click to vote
MM
1997
ACM
15 years 7 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
106
click to vote
WSC
2008
15 years 5 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
161
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...