653 search results - page 61 / 131 » Implications of a Data Structure Consistency Checking System |
121
click to vote
CIKM
2004
Springer
15 years 3 months ago
2004
Springer
With the tremendous growth of system memories, memoryresident databases are increasingly becoming important in various domains. Newer memories provide a structured way of storing ...
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
ENTCS
2008
14 years 12 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
105
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
IMCSIT
2010
14 years 9 months ago
2010
Abstract--Finding regularities in large data sets requires implementations of systems that are efficient in both time and space requirements. Here, we describe a newly developed sy...