2043 search results - page 228 / 409 » Reasoning About Security Models |
171
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
175
click to vote
ICML
1999
IEEE
16 years 6 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
155
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
164
click to vote
CSE
2009
IEEE
16 years 16 days ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
136
click to vote
GLVLSI
2009
IEEE
16 years 16 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...