2245 search results - page 200 / 449 » A Case Study Implementing Features Using AspectJ |
149
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
186
click to vote
TPHOL
2009
IEEE
16 years 23 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
135
click to vote
INCDM
2009
Springer
16 years 21 days ago
2009
Springer
We present a novel use of ordinal evaluation (OrdEval) algorithm as a promising technique to study various marketing phenomena. OrdEval algorithm has originated in data mining and ...
152
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
174
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...