1042 search results - page 84 / 209 » Can Aspects Implement Contracts |
VLSID
2000
IEEE
14 years 2 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
IFIP
2000
Springer
14 years 1 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
USS
2008
14 years 10 days ago
2008
Automated bot/botnet detection is a difficult problem given the high level of attacker power. We propose a systematic approach for evaluating the evadability of detection methods....
CC
2005
Springer
13 years 12 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
AIEDU
2008
13 years 10 months ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...