535 search results - page 13 / 107 » Formalization of Legislative Documents Based on a Functional... |
IRI
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
ICECCS
2009
IEEE
14 years 3 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
IPM
2006
13 years 8 months ago
2006
This paper presents a probabilistic information retrieval framework in which the retrieval problem is formally treated as a statistical decision problem. In this framework, querie...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...