7209 search results - page 481 / 1442 » Software Engineering for Multi-Agent Systems |
115
Voted
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
121
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
124
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
119
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
104
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...