Sciweavers

443 search results - page 19 / 89
» A System Development Process with Event-B and the Rodin Plat...
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
14 years 8 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...
ACMSE
2006
ACM
13 years 10 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
EICS
2009
ACM
14 years 1 months ago
User evaluation of OIDE: a rapid prototyping platform for multimodal interaction
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
Marilyn Rose McGee-Lennon, Andrew Ramsay, David K....
JUCS
2010
172views more  JUCS 2010»
13 years 5 months ago
Configuration Process of a Software Product Line for AmI Middleware
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
Lidia Fuentes, Nadia Gámez
CACM
2011
125views more  CACM 2011»
13 years 1 months ago
Sora: high-performance software radio using general-purpose multi-core processors
This paper presents Sora, a fully programmable software radio platform on commodity PC architectures. Sora combines the performance and fidelity of hardware SDR platforms with th...
Kun Tan, He Liu, Jiansong Zhang, Yongguang Zhang, ...