Sciweavers

383 search results - page 47 / 77
» Abstracting Complex Languages through Transformation and Com...
Sort
View
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
15 years 6 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
JIPS
2006
116views more  JIPS 2006»
15 years 1 months ago
A Method for Automatic Generation of OWL-S Service Ontology
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...
Jin-Hyuk Yang, In-Jeong Chung
IPAW
2010
14 years 11 months ago
StarFlow: A Script-Centric Data Analysis Environment
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
Elaine Angelino, Daniel Yamins, Margo I. Seltzer
ESOP
2010
Springer
15 years 10 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ECWEB
2005
Springer
136views ECommerce» more  ECWEB 2005»
15 years 7 months ago
Music Rights Clearance Business Analysis and Delivery
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
Carlos Pedrinaci, Ziv Baida, Hans Akkermans, Amaia...