Sciweavers

6197 search results - page 863 / 1240
» Sandbridge Software Tools
Sort
View
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
16 years 12 days ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 10 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
ICWE
2005
Springer
16 years 10 days ago
An Application Framework for Collaborative Learning
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
Aiman Turani, Rafael A. Calvo, Peter Goodyear
NIME
2005
Springer
215views Music» more  NIME 2005»
16 years 9 days ago
GoingPublik: Using Realtime Global Score Synthesis
This paper takes the reader through various elements of the GoingPublik sound artwork for distributive ensemble and introduces the Realtime Score Synthesis tool (RSS) used as a co...
Arthur Clay, Thomas M. Frey, Jürg Gutknecht
SPC
2005
Springer
16 years 9 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...