10055 search results - page 1678 / 2011 » Structured programming using processes |
142
click to vote
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
Software product lines gain momentum in research and industry. duct-line approaches use features as a central abstraction mechanism. Feature-oriented software development aims at ...
114
click to vote
TON
2012
13 years 5 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
115
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
145
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
113
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...