4799 search results - page 461 / 960 » Model Based Requirements Engineering for Embedded Software |
198
click to vote
APSEC
2002
IEEE
15 years 12 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
202
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
192
click to vote
PDPTA
2007
15 years 8 months ago
2007
With the advent of mobile computing and mobile services becoming more widespread and more complex, the development process of those services requires an ever more important focus o...
164
click to vote
ARCS
2004
Springer
16 years 9 days ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
172
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...