Sciweavers

4109 search results - page 319 / 822
» User Interface Software Tools
Sort
View
ESCIENCE
2006
IEEE
16 years 22 days ago
GridBuilder: A Tool for Creating Virtual Grid Testbeds
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
Stephen Childs, Brian A. Coghlan, Jason McCandless
VL
2010
IEEE
256views Visual Languages» more  VL 2010»
15 years 5 months ago
SheetDiff: A Tool for Identifying Changes in Spreadsheets
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
Chris Chambers, Martin Erwig, Markus Luckey
KBSE
2010
IEEE
15 years 5 months ago
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...
Paulo Trezentos, Inês Lynce, Arlindo L. Oliv...
SPIN
2009
Springer
16 years 1 months ago
Tool Presentation: Teaching Concurrency and Model Checking
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...
Mordechai Ben-Ari
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 11 months ago
Tools for designing and prototyping activity-based pervasive applications
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
Pascal Bruegger, Denis Lalanne, Agnes Lisowska, B&...