15253 search results - page 268 / 3051 » Integer-Programming Software Systems |
206
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
208
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
183
click to vote
FM
1998
Springer
15 years 11 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
196
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...