7576 search results - page 1341 / 1516 » UNIX as an Application Program |
151
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
180
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
155
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Today's wireless sensor networks have limited flexibility because their software is static. Mobile agents alleviate this problem by introducing mobile code and state. Mobile ...
170
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Prior work on TLB power optimization considered circuit and architectural techniques. A recent software-based technique for data TLBs has considered the possibility of storing the...
128
click to vote
AUSAI
2006
Springer
2006
Springer
MML Mixture Models of Heterogeneous Poisson Processes with Uniform Outliers for Bridge Deterioration
15 years 10 months ago
Effectiveness of maintenance programs of existing concrete bridges is highly dependent on the accuracy of the deterioration parameters utilised in the asset management models of th...