1251 search results - page 239 / 251 » A Method for Component-Based Software and System Development |
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present Triplify ? a simplistic but effective approach to publish Linked Data from relational databases. Triplify is based on mapping HTTP-URI requests onto relat...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
HIPEAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
70
Voted
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...