Sciweavers

9264 search results - page 1223 / 1853
» Space Between Languages
Sort
View
IEEESCC
2008
IEEE
16 years 1 months ago
Exploiting XML Schema for Interpreting XML Documents as RDF
Interpreting legacy XML documents is a great challenge for realizing the vision of the Semantic Web (SW). This paper presents an algorithm to transform XML data into RDF- foundati...
Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee, B...
KBSE
2008
IEEE
16 years 1 months ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley
SIPS
2008
IEEE
16 years 1 months ago
Scheduling of dataflow models within the Reconfigurable Video Coding framework
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
Jani Boutellier, Veeranjaneyulu Sadhanala, Christo...
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 1 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
ASWEC
2007
IEEE
16 years 1 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
« Prev « First page 1223 / 1853 Last » Next »