3547 search results - page 664 / 710 » Pseudo-Exhaustive Testing for Software |
158
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
157
click to vote
LCTRTS
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
149
click to vote
SEMWEB
2007
Springer
16 years 11 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
140
click to vote
VMCAI
2007
Springer
16 years 11 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
148
click to vote
AUIC
2006
IEEE
16 years 10 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...