1988 search results - page 163 / 398 » Engineering formal metatheory |
172
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
181
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
168
click to vote
JLP
2006
15 years 6 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
172
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
One of the critical problems in natural language interfaces is the discordance between the expressions covered by the interface and those by the knowledge base. In the graph-based...
200
click to vote
IFM
2007
Springer
16 years 21 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...