Sciweavers

1897 search results - page 199 / 380
» Early application identification
Sort
View
123
Voted
CSL
2008
Springer
15 years 6 months ago
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
Ian Hodkinson, Angelo Montanari, Guido Sciavicco
AAAI
2010
15 years 6 months ago
Progress on Agent Coordination with Cooperative Auctions
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
Sven Koenig, Pinar Keskinocak, Craig A. Tovey
123
Voted
BCSHCI
2007
15 years 6 months ago
Designing for photolurking
This paper describes our early work on design and development to support photolurking. Photolurking is browsing and looking at people’s photographs without participating in disc...
Haliyana Khalid, Alan J. Dix
SPLC
2008
15 years 6 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
159
Voted
VAMOS
2008
Springer
15 years 6 months ago
Weaving Aspect Configurations for Managing System Variability
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
Brice Morin, Olivier Barais, Jean-Marc Jéz&...