7380 search results - page 1202 / 1476 » Engineering Software Intensive Systems |
140
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
121
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
138
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
220
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...