Sciweavers

1724 search results - page 112 / 345
» Industrial applications
Sort
View
CAINE
2009
15 years 7 months ago
Comparison of JSON and XML Data Interchange Formats: A Case Study
This paper compares two data interchange formats currently used by industry applications; XML and JSON. The choice of an adequate data interchange format can have significant cons...
Nurzhan Nurseitov, Michael Paulson, Randall Reynol...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 5 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers
ICML
1998
IEEE
16 years 7 months ago
Value Function Based Production Scheduling
Production scheduling, the problem of sequentially con guring a factory to meet forecasted demands, is a critical problem throughout the manufacturing industry. The requirement of...
Jeff G. Schneider, Justin A. Boyan, Andrew W. Moor...
EUROMICRO
2007
IEEE
16 years 25 days ago
Scope Management of Non-Functional Requirements
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
Mohamad Kassab, Maya Daneva, Olga Ormandjieva
SEMWEB
2007
Springer
16 years 18 days ago
Cantabria Cultural Heritage Semantic Portal
This document describes an ongoing commercial project that aims to model the cultural heritage domain in an ontology, containing data from eleven types of heritages, from bibliogra...
Francisca Hernández, Luis Rodrigo, Jes&uacu...