1027 search results - page 66 / 206 » A Model for Java with Wildcards |
119
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
115
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
124
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
129
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
151
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...