Sciweavers

2446 search results - page 390 / 490
» Polyadic Concept Analysis
Sort
View
TIME
2005
IEEE
14 years 3 months ago
LOLA: Runtime Monitoring of Synchronous Systems
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
Ben D'Angelo, Sriram Sankaranarayanan, Césa...
WECWIS
2005
IEEE
130views ECommerce» more  WECWIS 2005»
14 years 3 months ago
Future Research Challenges in Business Agility - Time, Control and Information Systems
Today organizations face increasingly dynamic and competitive environments. Business agility aims to address these challenges. In this contribution, we aim to increase understandi...
Markus Strohmaier, Herwig Rollett
SAC
2005
ACM
14 years 3 months ago
Use case-driven component specification: a medical applications perspective to product line development
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
M. Brian Blake, Kevin Cleary, Sohan Ranjan, Luis I...
WPES
2005
ACM
14 years 3 months ago
Secure off-the-record messaging
At the 2004 Workshop on Privacy in the Electronic Society (WPES), Borisov, Goldberg and Brewer, presented “Off the Record Messaging” (OTR), a protocol designed to add endto-e...
Mario Di Raimondo, Rosario Gennaro, Hugo Krawczyk
AIED
2005
Springer
14 years 3 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg