Sciweavers

1150 search results - page 198 / 230
» Specifying Information-Flow Controls
Sort
View
IJFCS
2006
111views more  IJFCS 2006»
13 years 8 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
ENTCS
2007
101views more  ENTCS 2007»
13 years 8 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
RE
2006
Springer
13 years 8 months ago
Goal and scenario validation: a fluent combination
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
Sebastián Uchitel, Robert Chatley, Jeff Kra...
SIGMETRICS
2008
ACM
13 years 8 months ago
An SLA perspective on the router buffer sizing problem
In this paper, we discuss recent work on buffer sizing in the context of an ISP's need to offer and guarantee competitive Service Level Agreements (SLAs) to its customers. Si...
Joel Sommers, Paul Barford, Albert G. Greenberg, W...
SWARM
2008
SPRINGER
222views Optimization» more  SWARM 2008»
13 years 8 months ago
Biologically inspired redistribution of a swarm of robots among multiple sites
We present a biologically inspired approach to the dynamic assignment and reassignment of a homogeneous swarm of robots to multiple locations, which is relevant to applications lik...
M. Ani Hsieh, Ádám M. Halász,...