3358 search results - page 571 / 672 » Parametric Aspects: A Proposal |
170
click to vote
REALWSN
2010
15 years 4 months ago
2010
Over the last years Wireless Sensor Networks (WSN) have been becoming increasingly applicable for real world scenarios and now production ready solutions are available. In the same...
139
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
167
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
182
click to vote
WISE
2010
Springer
15 years 4 months ago
2010
Springer
The increasing availability of massive information on the Web causes the need for information aggregation by filtering and ranking according to user's goals. In the last years...
188
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...