4099 search results - page 450 / 820 » A Framework for Interactive Proof |
164
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
198
click to vote
RTA
2007
Springer
16 years 27 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
222
click to vote
MOMM
2006
ACM
16 years 22 days ago
2006
ACM
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
209
click to vote
PLDI
2006
ACM
16 years 22 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
194
click to vote
RTAS
2005
IEEE
16 years 10 days ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...