4167 search results - page 730 / 834 » Regression model checking |
111
Voted
MOBIHOC
2005
ACM
16 years 12 days ago
2005
ACM
Wireless networks are built upon a shared medium that makes it easy for adversaries to launch jamming-style attacks. These attacks can be easily accomplished by an adversary emitt...
109
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
99
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
ICDM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...
108
click to vote
CEEMAS
2005
Springer
15 years 6 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...