ANOR
2002
13 years 4 months ago
2002
In a multi-unit firm, such as a retail chain or a multi-plant manufacturer, we compare the business strategies developed by unit managers with the strategies that maximize corporat...
AI
2004
Springer
13 years 4 months ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
TCBB
2008
13 years 4 months ago
2008
It is a consensus in microarray analysis that identifying potential local patterns, characterized by coherent groups of genes and conditions, may shed light on the discovery of pre...
MSS
2008
IEEE
13 years 4 months ago
2008
IEEE
We show on a 4
ENTCS
2007
13 years 4 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
JSW
2008
13 years 4 months ago
2008
In a mobile computing system, users carrying portable devices can access database services from any location without requiring a fixed position in the networking environment. Some ...
JAR
2008
13 years 4 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
ENGL
2006
13 years 4 months ago
2006
Service discovery is an important and necessary component of ad hoc networks. To fit within the context of such networks, a post-query model with several service discovery strateg...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We consider games played on finite graphs, whose goal is to obtain a trace belonging to a given set of winning traces. We focus on those states from which Player 1 cannot force a w...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
The paper presents two complementary strategies for identifying errors in spreadsheet programs. The strategies presented are grounded on the assumption that spreadsheets are softw...