Sciweavers

11653 search results - page 186 / 2331
» The Development of the C Language
Sort
View
118
Voted
MODELS
2009
Springer
15 years 10 months ago
RobbyDBMS: a case study on hardware/software product line engineering
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
Jörg Liebig, Sven Apel, Christian Lengauer, T...
119
Voted
HASKELL
2005
ACM
15 years 9 months ago
Visual haskell: a full-featured haskell development environment
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
Krasimir Angelov, Simon Marlow
120
Voted
CAISE
2005
Springer
15 years 9 months ago
Building a Software Factory for Pervasive Systems Development
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
Javier Muñoz, Vicente Pelechano
127
Voted
ESORICS
2004
Springer
15 years 9 months ago
ARCHERR: Runtime Environment Driven Program Safety
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman,...
123
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 8 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff