488 search results - page 41 / 98 » On the Formal Generation of Process Redesigns |
121
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
127
click to vote
TCS
2002
15 years 1 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
119
click to vote
FLAIRS
2007
15 years 4 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
115
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
107
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...