8627 search results - page 1509 / 1726 » Software Engineering Using RATionale |
168
click to vote
IUI
2004
ACM
16 years 14 hour ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
158
click to vote
UIST
2004
ACM
16 years 9 hour ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
189
click to vote
WOSS
2004
ACM
16 years 8 hour ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
250
click to vote
PSSE
2004
Springer
15 years 12 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
164
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...