4799 search results - page 532 / 960 » Model Based Requirements Engineering for Embedded Software |
192
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
171
Voted
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
147
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
203
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
178
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...