326 search results - page 33 / 66 » Tailoring and Verifying Software Process |
DEXAW
2007
IEEE
14 years 2 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
RE
2005
Springer
14 years 2 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
LCPC
2004
Springer
14 years 1 months ago
2004
Springer
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...
EMNETS
2007
14 years 13 days ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...