4889 search results - page 236 / 978 » A Refactoring Approach to Parallelism |
131
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
124
click to vote
APWEB
2003
Springer
15 years 9 months ago
2003
Springer
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
107
Voted
WSC
2008
15 years 6 months ago
2008
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...
129
Voted
ACL
2006
15 years 5 months ago
2006
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
151
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...