11653 search results - page 1967 / 2331 » The Development of the C Language |
219
click to vote
DEXAW
2005
IEEE
16 years 13 days ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
176
click to vote
FDL
2005
IEEE
16 years 13 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
171
click to vote
FOCS
2005
IEEE
16 years 13 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
150
click to vote
ICAC
2005
IEEE
16 years 13 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
171
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...