1148 search results - page 127 / 230 » Software engineering considered harmful |
126
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
106
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
The concept of responsibility aims at making a computing system trustworthy for its users despite the fact that failures of IT systems cannot be completely excluded. The presented ...
134
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
104
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
119
click to vote
ENDM
2010
15 years 1 months ago
2010
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...