1080 search results - page 110 / 216 » Modeling Constraint Programs with Software Technology Standa... |
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
ESAW
2000
Springer
13 years 11 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
CODES
2009
IEEE
13 years 11 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
FORTE
1997
13 years 9 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...