Sciweavers

4166 search results - page 211 / 834
» Automating the constraining process
Sort
View
CAISE
2005
Springer
15 years 8 months ago
Software Re-Documentation Process and Tool
Researchers and professionals know the importance of the documentation for the efficient maintenance of legacy software. Unfortunately, many legacy systems lack this important arti...
Nicolas Anquetil, Káthia Marçal de O...
DATE
2004
IEEE
164views Hardware» more  DATE 2004»
15 years 7 months ago
System Design Using Kahn Process Networks: The Compaan/Laura Approach
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
Todor Stefanov, Claudiu Zissulescu, Alexandru Turj...
APCCM
2010
15 years 4 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
AAAI
1996
15 years 4 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher
166
Voted
INFSOF
2000
122views more  INFSOF 2000»
15 years 3 months ago
Component mining: a process and its pattern language
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
Diomidis Spinellis, K. Raptis