Sciweavers

3514 search results - page 163 / 703
» Evolving Specification Engineering
Sort
View
ICDAR
2009
IEEE
14 years 2 months ago
An Improved Online Tamil Character Recognition Engine Using Post-Processing Methods
We propose script-specific post processing schemes for improving the recognition rate of online Tamil characters. At the first level, features derived at each sample point of the ...
Suresh Sundaram, Angarai Ganesan Ramakrishnan
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 2 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
IEEESCC
2005
IEEE
14 years 1 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
14 years 1 months ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...
TAMODIA
2008
13 years 9 months ago
Learning Key Contexts of Use in the Wild for Driving Plastic User Interfaces Engineering
This paper addresses software plasticity, i.e. the ability of interactive systems to adapt to context of use while preserving user-centered properties. In plasticity, a classical a...
Vincent Ganneau, Gaëlle Calvary, Rachel Demum...