7206 search results - page 1324 / 1442 » Using a Hypermedia System for Systems Engineering |
150
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
147
click to vote
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
222
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
135
Voted
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
158
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
The Border Gateway Protocol (BGP) is a fundamental building block of the Internet infrastructure. However, due to the implicit trust assumption among networks, Internet routing re...