44 search results - page 6 / 9 » Reuse of Specification Patterns with the B Method |
DAC
2002
ACM
15 years 10 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
BMCBI
2006
14 years 9 months ago
2006
Background: AMP-activated protein kinase (AMPK) has emerged as a significant signaling intermediary that regulates metabolisms in response to energy demand and supply. An investig...
82
Voted
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
PERSUASIVE
2007
Springer
15 years 3 months ago
2007
Springer
The success of many online services today depends on the company’s ability to persuade users to take specific actions, such as registering or inviting friends. We examined over 5...
77
Voted
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...