5518 search results - page 830 / 1104 » Rule-Based Service Modeling |
132
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
170
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
160
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Mobile computers are subject to a unique form of denial of service attack known as a battery exhaustion attack, in which an attacker attempts to rapidly drain the battery of the d...
174
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
157
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...