10159 search results - page 336 / 2032 » System Design Validation Using Formal Models |
118
Voted
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
112
click to vote
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
118
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
Advances in multiprocessor interconnect technologyare leading to high performance networks. However, software overheadsassociated with message passing are limiting the processors ...
134
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
158
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...