2752 search results - page 241 / 551 » Rounding to an Integral Program |
171
click to vote
ISORC
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
164
click to vote
IV
2007
IEEE
16 years 25 days ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...
182
click to vote
ECOOP
2007
Springer
16 years 22 days ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
172
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
178
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...