Sciweavers

3091 search results - page 204 / 619
» The Microsoft Relational Engine
Sort
View
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 11 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
SIS
2004
15 years 8 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
COLING
1994
15 years 7 months ago
Morphology with a Null-Interface
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
Harald Trost, Johannes Matiasek
ENTCS
2010
208views more  ENTCS 2010»
15 years 3 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
AGILEDC
2009
IEEE
16 years 1 months ago
Experiences Applying Agile Practices to Large Systems
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
Harry Koehnemann, Mark Coats