3891 search results - page 650 / 779 » Toward nature-inspired computing |
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
95
Voted
CANDT
2009
15 years 4 months ago
2009
Information and Communication Technologies (ICT) become particularly relevant in contexts where place-based communities get dispersed and migrants look for ways to keep strong con...
105
Voted
AOSD
2006
ACM
15 years 4 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...
86
Voted
APGV
2006
ACM
2006
ACM
Discrimination and estimation of time-to-contact for approaching traffic using a desktop environment
15 years 4 months ago
Each year, thousands of pedestrians are injured or killed in traffic accidents. Identifying pedestrians' perceptual capabilities for street crossing decisions is an important...
93
Voted
CC
2006
Springer
15 years 4 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...