2685 search results - page 366 / 537 » A Formal Semantics for SPKI |
146
click to vote
SP
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
154
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
164
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
201
click to vote
COORDINATION
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
196
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...