Sciweavers

3365 search results - page 345 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
EUROMICRO
2000
IEEE
15 years 11 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
ISSTA
2010
ACM
15 years 8 months ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
DRM
2006
Springer
15 years 10 months ago
Securing sensitive content in a view-only file system
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
Kevin Borders, Xin Zhao, Atul Prakash
JUCS
2008
105views more  JUCS 2008»
15 years 6 months ago
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
William J. Giraldo, Ana I. Molina, César A....
ECBS
1996
IEEE
127views Hardware» more  ECBS 1996»
15 years 11 months ago
Domain Engineering: The Challenge, Status, and Trends
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
Stephanie White, Michael Edwards