15754 search results - page 2819 / 3151 » Programs are Knowledge Bases |
192
Voted
AOSD
2006
ACM
15 years 11 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
218
Voted
APSCC
2006
IEEE
15 years 11 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
161
click to vote
CSB
2004
IEEE
15 years 11 months ago
2004
IEEE
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
198
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
178
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The constraint satisfaction problem can be solved in polynomial time for instances where certain parameters (e.g., the treewidth of primal graphs) are bounded. However, t...