1295 search results - page 188 / 259 » Automatic Design Pattern Detection |
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
ATS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
INTERACT
2003
13 years 10 months ago
2003
: This paper reports on a four-week study of the usage of myTeam, a prototype that provides availability awareness for distributed work groups through the use of sensor data. Autom...