1837 search results - page 198 / 368 » Architecture = Abstractions over Software |
79
Voted
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
138
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
115
Voted
EVOW
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
112
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
106
click to vote
SOCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...