1837 search results - page 198 / 368 » Architecture = Abstractions over Software |
117
click to vote
CIKM
2004
Springer
15 years 10 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...
170
click to vote
FOSSACS
2004
Springer
15 years 10 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...
158
click to vote
EVOW
2010
Springer
15 years 9 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...
148
click to vote
LPAR
2010
Springer
15 years 2 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...
141
click to vote
SOCO
2009
Springer
15 years 11 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...