Sciweavers

4241 search results - page 50 / 849
» A Knowledge-Based Software Information System
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 2 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
106
Voted
EWSPT
2001
Springer
15 years 5 months ago
A Software Process for an Integrated Electronic Commerce Portal System
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...
Volker Gruhn, Lothar Schöpe
115
Voted
BMCBI
2006
130views more  BMCBI 2006»
15 years 16 days ago
Laboratory Information Management Software for genotyping workflows: applications in high throughput crop genotyping
Background: With the advances in DNA sequencer-based technologies, it has become possible to automate several steps of the genotyping process leading to increased throughput. To e...
B. Jayashree, Praveen T. Reddy, Y. Leeladevi, Jona...
TIME
1994
IEEE
15 years 4 months ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
116
Voted
DLOG
2004
15 years 1 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...