3172 search results - page 116 / 635 » Combining Specification Techniques for Processes, Data and T... |
168
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
167
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
197
click to vote
GLOBE
2009
Springer
15 years 11 months ago
2009
Springer
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. A challenging problem is to support skylin...
219
click to vote
BMCBI
2011
15 years 28 days ago
2011
Background: Automated, image based high-content screening is a fundamental tool for discovery in biological science. Modern robotic fluorescence microscopes are able to capture th...
194
click to vote
TDSC
2010
15 years 1 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...