4799 search results - page 763 / 960 » Model Based Requirements Engineering for Embedded Software |
138
click to vote
AVI
2004
15 years 7 months ago
2004
Many applications require comparison between alternative scenarios; most support it poorly. A subjunctive interface supports comparison through its facilities for parallel setup, ...
154
click to vote
DSE
1998
15 years 6 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
180
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
184
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
289
click to vote
AROBOTS
2011
15 years 1 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...