15777 search results - page 3151 / 3156 » The Reformulation-Optimization Software Engine |
115
Voted
ANCS
2010
ACM
15 years 23 days ago
2010
ACM
The Internet is witnessing explosive growth in traffic due to bulk content transfers, such as multimedia and software downloads, and online sharing of personal, commercial, and sc...
133
Voted
ATVA
2010
Springer
15 years 23 days ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
156
Voted
GROUP
2010
ACM
15 years 22 days ago
2010
ACM
Looking for source code on the Web is a common practice among software developers. Previous research has shown that developers use social cues over technical cues to evaluate sour...
127
Voted
ICCAD
2010
IEEE
15 years 21 days ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
98
Voted
EXPERT
2002
15 years 2 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...