1463 search results - page 151 / 293 » Model Checking Implicit-Invocation Systems |
102
click to vote
SOCO
2005
Springer
15 years 7 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...
113
click to vote
MODELLIERUNG
2004
15 years 2 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
134
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
131
click to vote
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
139
click to vote
FAC
2008
15 years 1 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...