Sciweavers

3432 search results - page 349 / 687
» Language as a Complex Adaptive System
Sort
View
ICALP
2010
Springer
15 years 11 months ago
Concurrent Knowledge Extraction in the Public-Key Model
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
Andrew C. Yao, Moti Yung, Yunlei Zhao
VLSID
1998
IEEE
116views VLSI» more  VLSID 1998»
15 years 11 months ago
Synthesis of Testable RTL Designs
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
C. P. Ravikumar, Sumit Gupta, Akshay Jajoo
PLDI
2005
ACM
16 years 7 days ago
Composing security policies with polymer
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
Lujo Bauer, Jay Ligatti, David Walker
ATAL
2004
Springer
16 years 3 days ago
Integrating Autonomous Behavior and User Control for Believable Agents
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...
Marco Gillies, Daniel Ballin
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...