443 search results - page 30 / 89 » A System Development Process with Event-B and the Rodin Plat... |
LADS
2007
Springer
14 years 28 days 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 ...
SIGCSE
2012
ACM
12 years 2 months 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...
UML
2005
Springer
14 years 8 days 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...
VLDB
2000
ACM
13 years 10 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...
ACMACE
2005
ACM
14 years 10 days 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...