4480 search results - page 387 / 896 » Prototyping Completion with Constraints Using Computational ... |
181
click to vote
PARA
2004
Springer
16 years 2 days ago
2004
Springer
GRID Application development is a hard task. Good applications should correctly use large distributed systems, whose infrastructure heavily affects the application performance. In ...
166
click to vote
ICSOC
2005
Springer
16 years 7 days ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
189
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
167
click to vote
IANDC
2010
15 years 4 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
197
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...