Sciweavers

127 search results - page 19 / 26
» Automatic support for testing web-based enterprise applicati...
Sort
View
AVSS
2009
IEEE
15 years 4 months ago
Towards Generic Detection of Unusual Events in Video Surveillance
—In this paper, we consider the challenging problem of unusual event detection in video surveillance systems. The proposed approach makes a step toward generic and automatic dete...
Ivan Ivanov, Frédéric Dufaux, Thien ...
HASE
2008
IEEE
14 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
BMCBI
2007
123views more  BMCBI 2007»
14 years 9 months ago
GO for gene documents
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
Padmini Srinivasan, Xin Ying Qiu
ECSCW
2007
14 years 11 months ago
Behaviours and Preferences when Coordinating Mediated Interruptions: Social and System influence
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
Natalia A. Romero, Agnieszka Matysiak Szóst...
UML
2005
Springer
15 years 3 months ago
Specifying Precise Use Cases with Use Case Charts
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
Jon Whittle