5228 search results - page 741 / 1046 » Case Studies for Software Engineers |
148
click to vote
JAR
2010
15 years 5 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
169
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Object replication is a common approach to enhance the availability of distributed data-intensive services and storage systems. Many such systems are known to have highly skewed o...
279
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
200
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
173
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...