Sciweavers

3358 search results - page 571 / 672
» Parametric Aspects: A Proposal
Sort
View
REALWSN
2010
15 years 4 months ago
Location Based Wireless Sensor Services in Life Science Automation
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...
Benjamin Wagner, Philipp Gorski, Frank Golatowski,...
SIGSOFT
2010
ACM
15 years 4 months ago
Rethinking the economics of software engineering
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
Todd W. Schiller, Michael D. Ernst
SRDS
2010
IEEE
15 years 4 months ago
DKSM: Subverting Virtual Machine Introspection for Fun and Profit
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...
Sina Bahram, Xuxian Jiang, Zhi Wang, Mike Grace, J...
WISE
2010
Springer
15 years 4 months ago
On Identifying and Reducing Irrelevant Information in Service Composition and Execution
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...
Hong Linh Truong, Marco Comerio, Andrea Maurino, S...
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
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...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli