9989 search results - page 258 / 1998 » A CLP Approach to Modelling Systems |
162
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
200
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
213
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Abstract--As the information flowing around in social networking systems is mainly related or can be attributed to their users, controlling access to such information by individual...
240
click to vote
FPT
2005
IEEE
16 years 6 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...