3020 search results - page 593 / 604 » Type Analysis of Prolog Using Type Graphs |
126
Voted
KDD
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
111
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The definition of a commodity component is quite obvious when it comes to the PC as a basic compute engine and building block for clusters of PCs. Looking at the options for a mo...
111
Voted
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
Network intrusions have been a fact of life in the Internet for many years. However, as is the case with many other types of Internet-wide phenomena, gaining insight into the glob...
111
Voted
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
140
click to vote
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...