1128 search results - page 110 / 226 » Classical Natural Deduction |
93
Voted
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
108
Voted
ISMVL
2008
IEEE
15 years 7 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
111
click to vote
NTMS
2008
IEEE
15 years 7 months ago
2008
IEEE
—The concept of Mobile Web Services (Mob-WS) is catching pace within research communities due to rapid classification of mobile devices enabling pervasive environments. A Web Se...
105
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We adapt the classic cusum change-point detection algorithm for applications to data network monitoring where various and numerous performance and reliability metrics are availabl...