Sciweavers

2245 search results - page 128 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
147
Voted
APSEC
2004
IEEE
15 years 8 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
WEBDB
2010
Springer
224views Database» more  WEBDB 2010»
15 years 10 months ago
Concurrent One-Way Protocols in Around-the-Clock Social Networks
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
Royi Ronen, Oded Shmueli
CTW
2002
75views more  CTW 2002»
15 years 4 months ago
The Use of a Formalised Risk Model in NHS Information System Development
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...
M. A. Jeffcott, C. W. Johnson
GRID
2007
Springer
15 years 4 months ago
The Requirements of Using Provenance in e-Science Experiments
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
Simon Miles, Paul T. Groth, Miguel Branco, Luc Mor...
112
Voted
IROS
2006
IEEE
119views Robotics» more  IROS 2006»
15 years 11 months ago
Learning Similar Tasks From Observation and Practice
— This paper presents a case study of learning to select behavioral primitives and generate subgoals from observation and practice. Our approach uses local features to generalize...
Darrin C. Bentivegna, Christopher G. Atkeson, Gord...