2372 search results - page 186 / 475 » Probabilistic calling context |
109
Voted
GROUP
2005
ACM
15 years 9 months ago
2005
ACM
Interesting characteristics of large-scale events are their spatial distribution, their extended duration over days, and the fact that they are set apart from daily life. The incr...
146
Voted
MDM
2005
Springer
15 years 9 months ago
2005
Springer
Mobile terminals (cellular phones, PDAs, palmtops etc.) emerge as a new class of small-scale, ad-hoc service providers that share data and functionality via mobile web services’...
123
Voted
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
177
Voted
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
116
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...