Sciweavers

2399 search results - page 264 / 480
» Developing an Effective IT Integration and Support System
Sort
View
PERCOM
2003
ACM
16 years 4 months ago
BASE - A Micro-Broker-Based Middleware for Pervasive Computing
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
Christian Becker, Gregor Schiele, Holger Gubbels, ...
JOT
2007
169views more  JOT 2007»
15 years 4 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
ICADL
2004
Springer
141views Education» more  ICADL 2004»
15 years 10 months ago
Exploiting Extended Service-Oriented Architecture for Federated Digital Libraries
In order to support various requirements from the user’s perspective, digital library (DL) systems may need to apply a large variety of services, such as query services for a spe...
Hao Ding, Ingeborg Sølvberg
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 9 months ago
MUSART: Music Retrieval Via Aural Queries
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
William P. Birmingham
SOSYM
2002
123views more  SOSYM 2002»
15 years 4 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck