816 search results - page 24 / 164 » Automating Verification by Functional Abstraction at the Sys... |
POLICY
2005
Springer
14 years 2 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
DAC
2007
ACM
14 years 29 days ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
IM
2007
13 years 10 months ago
2007
— Despite the automation in many domains, network management still requires a lot of manual interaction. With the ongoing rapid growth of the Internet and the number of connected...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...