Sciweavers

1000 search results - page 144 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
SOCA
2007
IEEE
14 years 3 months ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
BMCBI
2005
73views more  BMCBI 2005»
13 years 8 months ago
An analysis of extensible modelling for functional genomics data
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
Andrew R. Jones, Norman W. Paton
FSTTCS
2006
Springer
14 years 19 days ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
ASPDAC
2005
ACM
96views Hardware» more  ASPDAC 2005»
13 years 11 months ago
Comprehensive frequency dependent interconnect extraction and evaluation methodology
Abstract— Frequency dependent interconnect analysis is challenging since lumped equivalent circuit models extracted at different frequencies exhibit distinct time and frequency d...
Rong Jiang, Charlie Chung-Ping Chen
KBSE
2002
IEEE
14 years 1 months ago
Report on the Workshop on the State of the Art in Automated Software Engineering
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
Yves Ledru, David F. Redmiles