Sciweavers

1494 search results - page 218 / 299
» Monitored Software Components - A Novel Software Engineering...
Sort
View
ICFEM
2009
Springer
14 years 3 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
COMPSAC
2007
IEEE
14 years 3 months ago
A Framework for Open Distributed System Design
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
Alexei Iliasov, Alexander Romanovsky, Budi Arief
FASE
2005
Springer
14 years 2 months ago
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
Atanas Rountev, Scott Kagan, Jason Sawin
APSEC
2002
IEEE
14 years 2 months ago
Integrating Use-Case Analysis and Task Analysis for Interactive Systems
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
Soon-Kyeong Kim, David A. Carrington
IUI
2000
ACM
14 years 1 months ago
Using annotated video as an information retrieval interface
The ability to deliver appropriate information to learners at the most appropriate time is an essential component of good instruction. In the best learning environments, this info...
Andrew S. Gordon