2520 search results - page 168 / 504 » Model-checking behavioral programs |
148
click to vote
FORTE
2008
15 years 7 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
141
click to vote
EDUTAINMENT
2009
Springer
16 years 25 days ago
2009
Springer
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
152
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Recent studies have showed the effectiveness of job co-scheduling in alleviating shared-cache contention on Chip Multiprocessors. Although program inputs affect cache usage and thu...
233
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
142
click to vote
CLIMA
2004
15 years 7 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...