Abstract: Retrieval of web-based geographic information (GI) for spatial decisionmaking processes can benefit from emerging semantic technologies. Ontology-supported metadata, col...
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
Paul P. Maglio, Savitha Srinivasan, Jeffrey T. Kre...
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Abstract. Rapidly changing business requirements necessitate the adhoc composition of expert teams to handle complex business cases. Expertcentric properties such as skills, howeve...