854 search results - page 89 / 171 » Addressing Dynamic Issues of Program Model Checking |
119
click to vote
MATES
2004
Springer
15 years 8 months ago
2004
Springer
Negotiation is an important mechanism of coordination in multiagent systems. Contrary to early conceptualizations of negotiating agents, we believe that decisions regarding the neg...
135
Voted
DAGSTUHL
1998
15 years 3 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
126
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
111
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
129
Voted
ICARCV
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...