7961 search results - page 1124 / 1593 » Input-Output Model Programs |
238
click to vote
LICS
2002
IEEE
16 years 16 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
201
click to vote
ICALP
2010
Springer
16 years 12 days ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
196
click to vote
ICSE
2010
IEEE-ACM
16 years 12 days ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
220
click to vote
CF
2009
ACM
16 years 9 days ago
2009
ACM
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...
213
click to vote
AGENTS
2001
Springer
16 years 4 days ago
2001
Springer
This paper promotes social role awareness as a desirable capability of animated agents, that are by now strong affective reasoners, but otherwise often lack the social competence ...