6167 search results - page 231 / 1234 » Can Refinement be Automated |
175
click to vote
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
16 years 28 days ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
138
click to vote
ISBI
2007
IEEE
16 years 7 days ago
2007
IEEE
The current method of grading prostate cancer on histology uses the Gleason system, which describes five increasingly malignant stages of cancer according to qualitative analysis...
201
click to vote
EMSOFT
2007
Springer
16 years 3 days ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
167
click to vote
CASES
2006
ACM
15 years 12 months ago
2006
ACM
Random access memory (RAM) is tightly-constrained in many embedded systems. This is especially true for the least expensive, lowest-power embedded systems, such as sensor network ...
151
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...