Sciweavers

611 search results - page 42 / 123
» Development of SOA-Based Software Systems - an Evolutionary ...
Sort
View
107
Voted
AC
2003
Springer
15 years 7 months ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
CAISE
2001
Springer
15 years 7 months ago
Coordination Technologies for Managing Information System Evolution
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
Luis Filipe Andrade, José Luiz Fiadeiro
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 7 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
ACSAC
2010
IEEE
15 years 20 days ago
G-Free: defeating return-oriented programming through gadget-less binaries
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
Kaan Onarlioglu, Leyla Bilge, Andrea Lanzi, Davide...
155
Voted
CADE
2009
Springer
16 years 3 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard