3901 search results - page 722 / 781 » software 2008 |
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
111
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we show that a Bio-inspired classifier’s accuracy can be dramatically improved if it operates on intelligent features. We propose a novel set of intelligent feat...
118
Voted
ISM
2008
IEEE
15 years 16 days ago
2008
IEEE
It is important for managers and Information Technology professionals to understand data-driven decision support systems and how such systems can provide business intelligence and ...
100
click to vote
MICRO
2008
IEEE
15 years 15 days ago
2008
IEEE
UAL PRIVATE MACHINE ABSTRACTION WOULD ALLOW SOFTWARE POLICIES TO EXPLICITLY MANAGE MICROARCHITECTURE RESOURCES. VPM POLICIES, IMPLEMENTED PRIMARILY IN SOFTWARE, TRANSLATE APPLICATI...
150
click to vote
SAC
2008
ACM
15 years 21 hour ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...