3271 search results - page 158 / 655 » Controlled Multicast Framework |
102
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
143
click to vote
VLSID
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
146
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
101
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes a framework for addressing the administration of role delegation introduced in the wellknown role-based access control model (RBAC). More specifically, thi...
115
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Location-based and location-oriented applications will be amongst the most powerful drivers of organizational change in the coming years. However, the strategic use of these techn...