Sciweavers

2539 search results - page 114 / 508
» Semantic frameworks for e-government
Sort
View
CL
2007
Springer
15 years 6 months ago
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
Marco Aldinucci, Marco Danelutto
SCCC
1998
IEEE
15 years 10 months ago
Tool Support for Helping the Use of Frameworks
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
Ricardo Pereira e Silva, Roberto Tom Price
ACSC
2004
IEEE
15 years 10 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
FSTTCS
2005
Springer
16 years 1 days ago
Quantitative Models and Implicit Complexity
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
Ugo Dal Lago, Martin Hofmann
WWW
2011
ACM
15 years 1 months ago
OntoWiki mobile: knowledge management in your pocket
Abstract. As comparatively powerful mobile computing devices are becoming more common, mobile web applications have started gaining in popularity. In this paper we present an appro...
Timofey Ermilov, Norman Heino, Sören Auer