62 search results - page 9 / 13 » jot 2008 |
72
Voted
JOT
2008
14 years 9 months ago
2008
Internet search engines have become an indispensable part of everyday living and business today. Although the capabilities of Internet search engines are incrementally improving s...
104
Voted
JOT
2008
14 years 9 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
JOT
2008
14 years 9 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
JOT
2008
14 years 9 months ago
2008
There was much interest at this year's Software Product Line Conference in how to combine agile and product line techniques. Agile teams seek to address change one product at...
88
Voted
JOT
2008
14 years 9 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...