3020 search results - page 593 / 604 » Type Analysis of Prolog Using Type Graphs |
KDD
2004
ACM
14 years 28 days 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...
IPPS
2003
IEEE
14 years 25 days 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...
SIGMETRICS
2003
ACM
14 years 24 days 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...
CICLING
2003
Springer
14 years 24 days 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...
ACSAC
2002
IEEE
14 years 16 days ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...