Sciweavers

1412 search results - page 172 / 283
» Experience Prototyping
Sort
View
SEMWEB
2009
Springer
14 years 24 days ago
Semantic Enhancement for Enterprise Data Management
Taking customer data as an example, the paper presents an approach to enhance the management of enterprise data by using Semantic Web technologies. Customer data is the most import...
Li Ma, Xingzhi Sun, Feng Cao, Chen Wang, Xiaoyuan ...
FORMATS
2007
Springer
14 years 4 days ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 8 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
PAAPP
2002
76views more  PAAPP 2002»
13 years 8 months ago
Performance of PDE solvers on a self-optimizing NUMA architecture
Abstract. The performance of shared-memory (OpenMP) implementations of three different PDE solver kernels representing finite difference methods, finite volume methods, and spectra...
Sverker Holmgren, Markus Nordén, Jarmo Rant...
SOCIALCOM
2010
13 years 6 months ago
The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
Wei Wei, Ting Yu