3555 search results - page 597 / 711 » Security-Critical System Development with Extended Use Cases |
113
click to vote
PODS
2010
ACM
15 years 1 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
130
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
101
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
—We study a sensor node with an energy harvesting source. In any slot, the sensor node is in one of two modes: Wake or Sleep. The generated energy is stored in a buffer. The sens...
113
click to vote
IAT
2007
IEEE
15 years 7 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
114
click to vote
VRML
2003
ACM
15 years 6 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...