Sciweavers

480 search results - page 10 / 96
» Scenarios and Techniques for Choreography Design
Sort
View
ICSE
2005
IEEE-ACM
14 years 7 months ago
Monitoring and control in scenario-based requirements analysis
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
ER
2006
Springer
87views Database» more  ER 2006»
13 years 11 months ago
Semantic Web Techniques for Personalization of eGovernment Services
In this paper, we present the results of an ongoing research involving the design and implementation of systems supporting personalized access to multi-version resources in an eGov...
Fabio Grandi, Federica Mandreoli, Riccardo Martogl...
CAISE
2003
Springer
14 years 23 days ago
Evaluation of the SRA Tool Using Data Mining Techniques
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
Andreas Gregoriades, Alistair G. Sutcliffe, Harala...
CHI
2005
ACM
14 years 8 months ago
Waterbot: exploring feedback and persuasive techniques at the sink
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
Ernesto Arroyo, Leonardo Bonanni, Ted Selker
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
14 years 25 days ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri