6054 search results - page 81 / 1211 » Implementation of Andorra-based Languages |
144
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...
141
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
153
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
129
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
157
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...