3994 search results - page 224 / 799 » A Linear Logical Framework |
167
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
156
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
250
click to vote
CEEMAS
2007
Springer
16 years 23 days ago
2007
Springer
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
170
click to vote
WSC
2008
15 years 9 months ago
2008
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
143
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...