5255 search results - page 952 / 1051 » Formal Methods for Privacy |
115
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
115
click to vote
DLT
2004
15 years 3 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
111
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
121
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
124
click to vote
FLAIRS
2001
15 years 3 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...