933 search results - page 154 / 187 » Multi-paradigm Declarative Languages |
164
click to vote
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
Today it is possible to deploy sensor networks in the real world and collect large amounts of raw sensory data. However, it remains a major challenge to make sense of sensor data, ...
146
Voted
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
116
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
131
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
150
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Recently, the W3C Linking Open Data effort has boosted the publication and inter-linkage of large amounts of RDF datasets on the Semantic Web. Various ontologies and know...