1307 search results - page 85 / 262 » Follow the intellectual property |
111
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
108
click to vote
IDC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
104
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
— It is natural to envisage that in a telephone network, some telephone numbers originate or receive more calls than others. Indeed, real-life data have verified the conjecture ...