3765 search results - page 237 / 753 » Qualitative Action Systems |
184
click to vote
AMAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
215
click to vote
TDSC
2010
15 years 5 months ago
2010
—We present an overview of end-to-end encryption solutions for convergecast traffic in wireless sensor networks that support in-network processing at forwarding intermediate node...
193
click to vote
CMSB
2010
Springer
15 years 2 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
315
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Most recommendation methods are `hard-wired' into the system and they support only fixed recommendations. The purpose of this demo is to show the expressivity of flexible reco...
170
click to vote
AMAST
2004
Springer
16 years 18 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...