Sciweavers

2500 search results - page 94 / 500
» Specifying Behavior in C
Sort
View
WCRE
2000
IEEE
15 years 2 months ago
E/R Schema for the Datrix C/C++/Java Exchange Format
A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the D...
Richard C. Holt, Ahmed E. Hassan, Bruno Laguë...
NETWORKS
2008
14 years 9 months ago
Lower bounds for two-period grooming via linear programming duality
In a problem arising in grooming for two-period optical networks, it is required to decompose the complete graph on n vertices into subgraphs each containing at most C edges, so t...
Charles J. Colbourn, Gaetano Quattrocchi, Violet R...
EDBT
2006
ACM
98views Database» more  EDBT 2006»
15 years 10 months ago
Evolving Triggers for Dynamic Environments
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
Agnès Voisard, Annika Hinze, Goce Trajcevsk...
EPIA
2009
Springer
15 years 4 months ago
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
15 years 3 months ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak