Sciweavers

3441 search results - page 335 / 689
» Provenance of Software Development Processes
Sort
View
INLG
2010
Springer
15 years 2 months ago
Generating Natural Language Descriptions of Z Test Cases
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
Maximiliano Cristiá, Brian Plüss
ICFP
2006
ACM
16 years 4 months ago
An object-oriented approach to datatype-generic programming
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
Adriaan Moors, Frank Piessens, Wouter Joosen
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 11 months ago
A Session-Initiation-Protocol-Based Middleware for Multi-Application Management
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
Teodora Guenkova-Luy, Holger Schmidt, Andreas Scho...
IWQOS
2004
Springer
15 years 10 months ago
Network calculus meets queueing theory -a simulation based approach to bounded queues
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
Krishna Pandit, Jens Schmitt, Ralf Steinmetz
ICADL
2003
Springer
145views Education» more  ICADL 2003»
15 years 10 months ago
Towards Web Mining of Query Translations for Cross-Language Information Retrieval in Digital Libraries
This paper proposes an efficient client-server-based query translation approach to allowing more feasible implementation of cross-language information retrieval (CLIR) services in ...
Wen-Hsiang Lu, Jenq-Haur Wang, Lee-Feng Chien