Sciweavers

1460 search results - page 223 / 292
» Process Mining Framework for Software Processes
Sort
View
TACS
1997
Springer
15 years 5 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
GPCE
2007
Springer
15 years 5 months ago
Library composition and adaptation using c++ concepts
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
Jaakko Järvi, Matthew A. Marcus, Jacob N. Smi...
LREC
2010
168views Education» more  LREC 2010»
15 years 2 months ago
A General Purpose FrameNet-based Shallow Semantic Parser
In this paper we present a new FrameNet-based Shallow Semantic Parser. While Shallow Semantic Parsing has been a popular Natural Language Processing task since the 2004 and 2005 C...
Bonaventura Coppola, Alessandro Moschitti
APSCC
2010
IEEE
14 years 11 months ago
Personalized Modeling for SaaS Based on Extended WSCL
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
Liu Ying, Zhang Bin, Liu Guoqi, Wang Deshuai, Gao ...
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
15 years 7 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger