Sciweavers

1759 search results - page 233 / 352
» Overview of Generative Software Development
Sort
View
93
Voted
ICSR
2004
Springer
15 years 6 months ago
XML-Based Feature Modelling
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
Vaclav Cechticky, Alessandro Pasetti, O. Rohlik, W...
SPIN
2009
Springer
15 years 7 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
98
Voted
AH
2008
Springer
15 years 7 months ago
Towards Computerized Adaptive Assessment Based on Structured Tasks
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
Jozef Tvarozek, Milos Kravcik, Mária Bielik...
UIST
2006
ACM
15 years 6 months ago
Videotater: an approach for pen-based digital video segmentation and tagging
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
Nicholas Diakopoulos, Irfan A. Essa
84
Voted
HICSS
2005
IEEE
93views Biometrics» more  HICSS 2005»
15 years 6 months ago
Service Composition on Top of Exchangable Protocols
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
Stefan Böttcher, Christian Dannewitz