3828 search results - page 336 / 766 » Proof-Based System Engineering Using a Virtual System Model |
200
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
190
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
191
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
159
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
190
click to vote
VIP
2000
15 years 8 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...