875 search results - page 115 / 175 » Specification Modules for Methodical System Development |
110
click to vote
SAC
1999
ACM
15 years 2 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
WER
2004
Springer
15 years 3 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
102
click to vote
FUIN
2006
14 years 9 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
TOOLS
1998
IEEE
15 years 2 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 ...