1401 search results - page 187 / 281 » Tool Integration for Reasoned Programming |
106
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
115
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
125
click to vote
ILP
2003
Springer
15 years 6 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
COR
2007
15 years 1 months ago
2007
This paper considers the design of two-layered fully interconnected networks.A two-layered network consists of clusters of nodes, each defining an access network and a backbone n...
101
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...