1676 search results - page 76 / 336 » Formal System Development with KIV |
136
click to vote
RTS
1998
15 years 4 months ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
157
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
156
click to vote
PADL
2012
Springer
13 years 12 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
189
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
162
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...