443 search results - page 30 / 89 » A System Development Process with Event-B and the Rodin Plat... |
137
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
179
click to vote
SIGCSE
2012
ACM
14 years 25 days ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
176
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
155
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
E-business is becoming the trademark of the 2000s. Companies are using the Web to communicate with their partners, connect with their back-end systems, and perform e-commerce tran...
157
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe an idea to develop interactive narrative with iTV. We propose a framework to deliver television event, usually dramas or cartoons, having multiple and se...