1153 search results - page 64 / 231 » Compositional Specification Calculus for Information Systems... |
134
click to vote
HCI
2001
15 years 5 months ago
2001
In a distributed multi-agent based software environment, the traditional monolithic user model ceases to exist and is replaced by user model fragments, developed by the various so...
131
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
150
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Beta-barrel transmembrane (bbtm) proteins are a functionally important and diverse group of proteins expressed in the outer membranes of bacteria (both gram negative a...
145
click to vote
ECIS
2001
15 years 5 months ago
2001
The Internet has had a significant impact on the process of developing information systems. However, there has been little research that has examined specifically the role of deve...
131
click to vote
DATESO
2006
15 years 5 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...