2940 search results - page 62 / 588 » Relational Parametricity and Control |
157
click to vote
SIGMOD
2005
ACM
16 years 1 days ago
2005
ACM
In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the publisher may be untrusted or susceptible to attacks, it could produ...
ACSC
2008
IEEE
15 years 6 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
101
click to vote
IEE
2008
14 years 12 months ago
2008
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
JOCN
2010
14 years 10 months ago
2010
■ Testosterone plays a role in aggressive behavior, but the mechanisms remain unclear. The present study tested the hypothesis that testosterone influences aggression through th...