5457 search results - page 693 / 1092 » Clinical requirements engineering |
185
click to vote
VR
2003
IEEE
16 years 25 days ago
2003
IEEE
In this paper we describe two engineering experiments designed to evaluate the effectiveness of Measurand’s ShapeTape for wearable, mobile interaction. Our initial results sugge...
223
click to vote
ERLANG
2003
ACM
16 years 24 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
216
click to vote
SAC
2003
ACM
16 years 24 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
236
click to vote
EMSOFT
2003
Springer
16 years 23 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
181
click to vote
FATES
2003
Springer
16 years 23 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...