Sciweavers

7597 search results - page 322 / 1520
» On the design of metric relations
Sort
View
TACAS
1998
Springer
115views Algorithms» more  TACAS 1998»
15 years 11 months ago
MESA: Support for Scenario-Based Design of Concurrent Systems
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
Hanêne Ben-Abdallah, Stefan Leue
DEXAW
2004
IEEE
118views Database» more  DEXAW 2004»
15 years 10 months ago
Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS)
The needs for various forms of information systems relating to the European environment and ecosystem are reviewed, and limitations indicated.. Existing information systems are re...
Keith Rennolls, Tim Richards, Alexander M. Fedorec...
SIGECOM
2000
ACM
132views ECommerce» more  SIGECOM 2000»
15 years 10 months ago
Design and implementation of an agent-based intermediary infrastructure for electronic markets
This paper describes MARI (Multi-Attribute Resource Intermediary), a project which proposes to improve online marketplaces, specifically those that involve the buying and selling ...
Gaurav Tewari, Pattie Maes
ECAI
2008
Springer
15 years 8 months ago
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System
Europe and the U.S. both face the challenges of urban schools with low-achieving adolescent learners, many of whom are not proficient in the language of instruction. This paper des...
Paul R. Cohen, Carole R. Beal, Niall M. Adams
IJCAI
2007
15 years 8 months ago
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
Alan M. Frisch, Matthew Grum, Christopher Jefferso...