1940 search results - page 208 / 388 » Dependable Software: An Oxymoron |
196
click to vote
CC
1994
Springer
15 years 10 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
176
click to vote
DAC
1992
ACM
15 years 10 months ago
1992
ACM
Designing instruction set processors and constructing their compilers are mutually dependent tasks. Piper is a high level synthesis tool of ADAS which controls the hardware-softwa...
163
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
173
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
155
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...