1398 search results - page 113 / 280 » Language and Compiler Support for Adaptive Distributed Appli... |
SAINT
2006
IEEE
14 years 2 months ago
2006
IEEE
This research has enhanced a distributed, rule-based application integration environment with a composite event definition language (CEDL) and detection system. CEDL builds on exi...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
HPCA
2007
IEEE
14 years 8 months ago
2007
IEEE
Chip multiprocessors with multiple simpler cores are gaining popularity because they have the potential to drive future performance gains without exacerbating the problems of powe...
CIA
2001
Springer
14 years 19 days ago
2001
Springer
The large amount of information that is spread over the Internet is an important resource for all people but also introduces some issues that must be faced. The dynamism and the un...
IAAI
1993
13 years 9 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...