3432 search results - page 58 / 687 » Model Development in the UML-based Specification Environment... |
ASE
1999
13 years 8 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
STTT
2008
13 years 8 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
SELMAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
We have developed a web-based search engine for 3D polygonal models. These days, the number of web sites using Web 3D technology is increasing. The development of our search engin...
ISPASS
2007
IEEE
14 years 3 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...