5434 search results - page 144 / 1087 » Tool support for MOLA |
174
click to vote
SPIN
2009
Springer
16 years 21 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
166
click to vote
CSMR
2008
IEEE
16 years 19 days ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
162
click to vote
ICSEA
2007
IEEE
16 years 12 days ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
175
click to vote
SG
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...
163
click to vote
CSMR
2006
IEEE
16 years 7 days ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...