12333 search results - page 664 / 2467 » System Level Modelling for Hardware Software Systems |
174
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
192
click to vote
INFOVIS
2002
IEEE
16 years 5 days ago
2002
IEEE
In this paper we demonstrate how we applied information visualization techniques to process monitoring. Virtual instruments are enhanced using history encoding – instruments are...
183
click to vote
LPNMR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
209
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
170
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...