8132 search results - page 269 / 1627 » Dependability, Abstraction, and Programming |
178
click to vote
JIKM
2006
15 years 6 months ago
2006
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...
164
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
198
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
153
Voted
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
160
click to vote
IAT
2006
IEEE
16 years 22 days ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...